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
4 papers · 2 filters
A System for Explainable Answer Set Programming
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
We present xclingo, a tool for generating explanations from ASP programs annotated with text and labels. These annotations allow tracing the application of rules or the atoms deriv…
Towards Metric Temporal Answer Set Programming
Pedro Cabalar, Martin Dieguez, Torsten Schaub +1
We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming. In analogy to previous extensions of ASP with constructs from Linear Tempora…
DREAM Architecture: a Developmental Approach to Open-Ended Learning in Robotics
Stephane Doncieux, Nicolas Bredeche, Léni Le Goff +9
Robots are still limited to controlled conditions, that the robot designer knows with enough details to endow the robot with the appropriate models or behaviors. Learning algorithm…
Implementing Dynamic Answer Set Programming
Pedro Cabalar, Martín Diéguez, Torsten Schaub +1
We introduce an implementation of an extension of Answer Set Programming (ASP) with language constructs from dynamic (and temporal) logic that provides an expressive computational…