Integrating Temporal Extensions of Answer Set Programming
From MaRDI portal
Publication:2851228
DOI10.1007/978-3-642-40564-8_3zbMATH Open1405.68035OpenAlexW2186340795MaRDI QIDQ2851228FDOQ2851228
Authors: Felicidad Aguado, Gilberto Pérez, Concepción Vidal 
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_3
Recommendations
- Temporal answer set programming
- Temporal answer set programming on finite traces
- Towards metric temporal answer set programming
- Theoretical Computer Science
- Extending constraint logic programming for temporal reasoning
- Metric temporal answer set programming over timed traces
- Temporal annotated constraint logic programming
- A Temporal extension of Prolog
- Efficient solving of time-dependent answer set programs
Cited In (13)
- \textit{telingo} = ASP + time
- Towards dynamic answer set programming over finite traces
- Stable Models for Temporal Theories
- Theoretical Computer Science
- Temporal ASP: from logical foundations to practical use with \texttt{telingo}
- Paving the way for temporal grounding
- Towards metric temporal answer set programming
- On the expressiveness of temporal equilibrium logic
- Temporal answer set programming
- Temporal logic programs with temporal description logic axioms
- Temporal answer set programming on finite traces
- Metric temporal answer set programming over timed traces
- An infinitary encoding of temporal equilibrium logic
This page was built for publication: Integrating Temporal Extensions of Answer Set Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851228)
