Temporal ASP: from logical foundations to practical use with \texttt{telingo}

DOI10.1007/978-3-030-95481-9_5MaRDI QIDQ6166578zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar

Publication date 3 August 2023

Published in Reasoning Web. Declarative Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-95481-9_5

zbMATH Keywords

answer set programmingequilibrium logiclinear temporal logictemporal equilibrium logic

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• \textit{telingo} = ASP + time
• Stable Models for Temporal Theories
• Temporal answer set programming
• Integrating Temporal Extensions of Answer Set Programming

Cites work

• \textit{telingo} = ASP + time
• Automata-Based Computation of Temporal Equilibrium Models
• Multi-shot ASP solving with clingo
• Nonmonotonic logic and temporal projection
• On the complexity of temporal equilibrium logic
• Representing action and change by logic programs
• Temporal answer set programming on finite traces
• Temporal Equilibrium Logic: A First Approach
• Temporal equilibrium logic: a survey
• The computational complexity of propositional STRIPS planning
• The Semantics of Predicate Logic as a Programming Language

Cited in

(1)

• Reasoning about time in DatalogMTL: course notes (invited paper)

This page was built for publication: Temporal ASP: from logical foundations to practical use with \texttt{telingo}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166578)