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 (15)

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

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