Temporal equilibrium logic with past operators

DOI10.1080/11663081.2018.1427987MaRDI QIDQ4586227zbMATH OpenOpenAlexFDO

Authors Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, 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

answer set programmingequilibrium logicknowledge representationnon-monotonic reasoningtemporal equilibrium logictemporal logic

Mathematics Subject Classification ID

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

Recommendations

• Temporal Equilibrium Logic: A First Approach
• A normal form for linear temporal equilibrium logic
• On the complexity of temporal equilibrium logic
• Temporal equilibrium logic: a survey
• On the expressiveness of temporal equilibrium logic

Cites work

• Computing small clause normal forms
• scientific article; zbMATH DE number 5914361 (Why is no real title available?)
• scientific article; zbMATH DE number 3865242 (Why is no real title available?)
• scientific article; zbMATH DE number 5604077 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• Logic programs with stable model semantics as a constraint programming paradigm
• Loop formulas for splitable temporal logic programs
• MOLOG: A system that extends PROLOG with modal logic
• On modal logic with an intuitionistic base
• On the expressiveness of temporal equilibrium logic
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Stable Models for Temporal Theories
• Temporal Equilibrium Logic: A First Approach
• Temporal equilibrium logic: a survey
• Temporal here and there
• Temporal logic programming

Cited in

(6)

• A branching time logic with past operators
• Autoepistemic equilibrium logic and epistemic specifications
• A normal form for linear temporal equilibrium logic
• scientific article; zbMATH DE number 5587267 (Why is no real title available?)
• Metric dynamic equilibrium logic
• Linear-time temporal answer set programming

Describes a project that uses

Uses Software

• STeLP

This page was built for publication: Temporal equilibrium logic with past operators

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