1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.LO2026★ 1 cited
Constructive S4 modal logics with the finite birelational frame property
Philippe Balbiani, MartÃn Diéguez, David Fernández-Duque +1
The logics and are the two leading intuitionistic variants of the modal logic . Whether the finite model property holds for each of these…
cs.AI2025
Towards Constraint Temporal Answer Set Programming
Pedro Cabalar, MartÃn Diéguez, François Olivier +2
Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To…
cs.AI2025
Compiling Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challen…