Temporal equilibrium logic: a survey

DOI10.1080/11663081.2013.798985zbMath1400.68199OpenAlexW1985387287MaRDI QIDQ4583305

Gilberto Pérez, Felicidad Aguado, Concepción Vidal, Pedro Cabalar, Martín Diéguez

Publication date: 28 August 2018

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2013.798985

zbMATH Keywords

knowledge representationnonmonotonic reasoninglinear temporal logicanswer set programmingequilibrium logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

Related Items

Stable Models for Temporal Theories ⋮ LARS: a logic-based framework for analytic reasoning over streams ⋮ Temporal Answer Set Programming on Finite Traces ⋮ Temporal Equilibrium Logic with past operators ⋮ A denotational semantics for equilibrium logic ⋮ An infinitary encoding of temporal equilibrium logic ⋮ Metric dynamic equilibrium logic ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ Revisiting Explicit Negation in Answer Set Programming ⋮ Temporal ASP: from logical foundations to practical use with \texttt{telingo} ⋮ Metric temporal answer set programming over timed traces ⋮ Towards Metric Temporal Answer Set Programming ⋮ Reactive Answer Set Programming ⋮ Autoepistemic answer set programming ⋮ Temporal Logic Modeling of Biological Systems ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ Metabolic Pathways as Temporal Logic Programs

Uses Software

• Coala
• STeLP

Cites Work

• A generalization of the Lin-Zhao theorem
• Equilibrium logic
• The complementation problem for Büchi automata with applications to temporal logic
• Reasoning about infinite computations
• Logic programs with stable model semantics as a constraint programming paradigm
• Temporal Equilibrium Logic: A First Approach
• Strongly Equivalent Temporal Logic Programs
• Thirteen Definitions of a Stable Model
• Minimal Logic Programs
• Automata-Based Computation of Temporal Equilibrium Models
• A Normal Form for Linear Temporal Equilibrium Logic
• Coala: A Compiler from Action Languages to ASP
• Propositional theories are strongly equivalent to logic programs
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal equilibrium logic: a survey