Search Results for author: Martin Dieguez

Found 2 papers, 0 papers with code

Temporal Answer Set Programming

no code implementations • 14 Sep 2020 • Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal

We present an overview on Temporal Logic Programming under the perspective of its application for Knowledge Representation and declarative problem solving.

Model Selection Translation

Paper
Add Code

Towards Metric Temporal Answer Set Programming

no code implementations • 5 Aug 2020 • Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

We elaborate upon the theoretical foundations of a metric temporal extension of Answer Set Programming.

Paper
Add Code

Cannot find the paper you are looking for? You can Submit a new open access paper.