8.6k citations
- Universidade de Santiago de CompostelaES166 papers
- Uppsala UniversitySE145 papers
- Sorbonne UniversitéFR144 papers
- Universitat de BarcelonaES143 papers
- University of CambridgeGB142 papers
- University of GroningenNL142 papers
- Heidelberg UniversityDE140 papers
- University of EdinburghGB140 papers
- University of BristolGB139 papers
- Rutherford Appleton LaboratoryGB138 papers
- Eötvös Loránd UniversityHU136 papers
- University of BonnDE133 papers
Showing 2025 · cs.AIShow all
2 papers · 2 filters
cs.AI2025
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Brais Muñiz +2
In this paper, we compare four different semantics for disjunction in Answer Set Programming that, unlike stable models, do not adhere to the principle of model minimality. Two of…
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…