Temporal Equilibrium Logic: A First Approach

DOI10.1007/978-3-540-75867-9_31zbMath1394.03032OpenAlexW1555256314MaRDI QIDQ3523235

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)

Related Items

Stable Models for Temporal Theories, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, On the finite model property of weak intuitionistic tense logic, LARS: a logic-based framework for analytic reasoning over streams, Temporal equilibrium logic: a survey, Temporal Equilibrium Logic with past operators, Stable reasoning, Exploring the Jungle of Intuitionistic Temporal Logics, An infinitary encoding of temporal equilibrium logic, Metric dynamic equilibrium logic, Temporal ASP: from logical foundations to practical use with \texttt{telingo}, Strongly Equivalent Temporal Logic Programs, Temporal Logic Modeling of Biological Systems, Temporal Here and There, On the Expressiveness of Temporal Equilibrium Logic

Cites Work

• Representing action and change by logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item