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

DOI10.1007/978-3-030-95481-9_5zbMath1524.68351OpenAlexW4210522393MaRDI QIDQ6166578

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

linear temporal logicanswer set programmingequilibrium logictemporal equilibrium logic

Mathematics Subject Classification ID

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

Cites Work

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

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