Integrating Temporal Extensions of Answer Set Programming

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

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

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)