Integrating Temporal Extensions of Answer Set Programming

DOI10.1007/978-3-642-40564-8_3zbMATH Open1405.68035OpenAlexW2186340795MaRDI QIDQ2851228FDOQ2851228

Concepción Vidal, Felicidad Aguado, Gilberto Pérez

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

Mathematics Subject Classification ID

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

Cited In (4)

• Stable Models for Temporal Theories
• Theoretical Computer Science
• Metric temporal answer set programming over timed traces
• On the Expressiveness 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)