Temporal equilibrium logic: a survey

DOI10.1080/11663081.2013.798985MaRDI QIDQ4583305zbMATH OpenOpenAlexFDO

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

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

answer set programmingequilibrium logicknowledge representationlinear temporal logicnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• Temporal Equilibrium Logic: A First Approach
• Stable Models for Temporal Theories
• On the complexity of temporal equilibrium logic
• Equilibrium logic
• On the expressiveness of temporal equilibrium logic

Cites work

• A generalization of the Lin-Zhao theorem
• A normal form for linear temporal equilibrium logic
• Automata-Based Computation of Temporal Equilibrium Models
• Coala: a compiler from action languages to ASP
• Equilibrium logic
• scientific article; zbMATH DE number 67448 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• scientific article; zbMATH DE number 1931694 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with stable model semantics as a constraint programming paradigm
• Minimal Logic Programs
• Paving the way for temporal grounding
• Propositional theories are strongly equivalent to logic programs
• Reasoning about infinite computations
• Strongly equivalent logic programs
• Strongly Equivalent Temporal Logic Programs
• Temporal Equilibrium Logic: A First Approach
• The complementation problem for Büchi automata with applications to temporal logic
• Thirteen Definitions of a Stable Model

Cited in

(25)

• LARS: a logic-based framework for analytic reasoning over streams
• Autoepistemic answer set programming
• Autoepistemic equilibrium logic and epistemic specifications
• Metric temporal answer set programming over timed traces
• Metabolic pathways as temporal logic programs
• Temporal here and there
• Stable Models for Temporal Theories
• Temporal Equilibrium Logic: A First Approach
• 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
• Explicit negation in linear-dynamic equilibrium logic
• Revisiting explicit negation in answer set programming
• Towards metric temporal answer set programming
• Temporal logic modeling of biological systems
• Reactive Answer Set Programming
• Metric dynamic equilibrium logic
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Temporal ASP: from logical foundations to practical use with \texttt{telingo}
• Metric temporal equilibrium logic over timed traces
• Gödel-Dummett linear temporal logic
• The stable model semantics of Datalog with metric temporal operators
• Linear-time temporal answer set programming
• Equilibrium logic

Describes a project that uses

Uses Software

• Coala
• STeLP

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

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