Temporal Equilibrium Logic: A First Approach

DOI10.1007/978-3-540-75867-9_31MaRDI QIDQ3523235zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Gilberto Pérez Vega

Publication date 2 September 2008

Published in Computer Aided Systems Theory – EUROCAST 2007 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75867-9_31

Mathematics Subject Classification ID

Temporal logic (03B44)

Recommendations

• Temporal equilibrium logic: a survey
• Stable Models for Temporal Theories
• Explicit negation in linear-dynamic equilibrium logic
• An infinitary encoding of temporal equilibrium logic
• A normal form for linear temporal equilibrium logic

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Representing action and change by logic programs

Cited in

(27)

• Temporal equilibrium logic: a survey
• Stable Models for Temporal Theories
• Parametrized equilibrium logic
• Exploring the Jungle of Intuitionistic Temporal Logics
• Equilibrium logic
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• LARS: a logic-based framework for analytic reasoning over streams
• Temporal ASP: from logical foundations to practical use with \texttt{telingo}
• Strongly Equivalent Temporal Logic Programs
• The stable model semantics of Datalog with metric temporal operators
• Linear-time temporal answer set programming
• On the finite model property of weak intuitionistic tense logic
• Temporal logic modeling of biological systems
• Metric dynamic equilibrium logic
• Reasoning about time in DatalogMTL: course notes (invited paper)
• On the expressiveness of temporal equilibrium logic
• Towards metric temporal answer set programming
• Temporal answer set programming
• A normal form for linear temporal equilibrium logic
• Logics in Artificial Intelligence
• Temporal logic programs with temporal description logic axioms
• Explicit negation in linear-dynamic equilibrium logic
• Temporal equilibrium logic with past operators
• Temporal here and there
• Stable reasoning
• On the complexity of temporal equilibrium logic
• An infinitary encoding of temporal equilibrium logic

This page was built for publication: Temporal Equilibrium Logic: A First Approach

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