9 citations · 41 across the 10 of their papers we have counts for
3 papers · 1 filter
Temporal Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Martin Dieguez +4
We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving. Such programs are the re…
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…
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…