Temporal Equilibrium Logic with past operators

DOI10.1080/11663081.2018.1427987zbMath1398.03077OpenAlexW2792189678MaRDI QIDQ4586227

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

Publication date: 12 September 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.2018.1427987

zbMATH Keywords

knowledge representationtemporal logicnon-monotonic reasoninganswer set programmingequilibrium logictemporal equilibrium logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

Related Items (2)

Metric dynamic equilibrium logic ⋮ Autoepistemic equilibrium logic and epistemic specifications

Uses Software

• STeLP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Temporal logic programming
• MOLOG: A system that extends PROLOG with modal logic
• On modal logic with an intuitionistic base
• Logic programs with stable model semantics as a constraint programming paradigm
• Temporal Here and There
• On the Expressiveness of Temporal Equilibrium Logic
• Loop Formulas for Splitable Temporal Logic Programs
• Stable Models for Temporal Theories
• Temporal Equilibrium Logic: A First Approach
• Temporal equilibrium logic: a survey
• Quantified Equilibrium Logic and Foundations for Answer Set Programs

This page was built for publication: Temporal Equilibrium Logic with past operators