Temporal Equilibrium Logic with past operators
From MaRDI portal
Publication:4586227
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
knowledge representationtemporal logicnon-monotonic reasoninganswer set programmingequilibrium logictemporal equilibrium logic
Related Items (2)
Uses Software
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