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
23 papers · 1 filter
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3
While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinn…
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…
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…
Machine Learning in management of precautionary closures caused by lipophilic biotoxins
Andres Molares-Ulloa, Enrique Fernandez-Blanco, Alejandro Pazos +1
Mussel farming is one of the most important aquaculture industries. The main risk to mussel farming is harmful algal blooms (HABs), which pose a risk to human consumption. In Galic…
A Definition of Open-Ended Learning Problems for Goal-Conditioned Agents
Olivier Sigaud, Gianluca Baldassarre, Cedric Colas +5
A lot of recent machine learning research papers have ``open-ended learning'' in their title. But very few of them attempt to define what they mean when using the term. Even worse,…
Metric Temporal Equilibrium Logic over Timed Traces
Arvid Becker, Pedro Cabalar, Martín Diéguez +2
In temporal extensions of Answer Set Programming (ASP) based on linear-time, the behavior of dynamic systems is captured by sequences of states. While this representation reflects…