Temporal equilibrium logic: a survey
From MaRDI portal
Publication:4583305
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
knowledge representationnonmonotonic reasoninglinear temporal logicanswer set programmingequilibrium logic
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
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