An infinitary encoding of temporal equilibrium logic

DOI10.1017/S1471068415000307MaRDI QIDQ4593006zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar, Martín Diéguez, Concepción Vidal

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068415000307

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Temporal Equilibrium Logic: A First Approach
• On the complexity of temporal equilibrium logic
• Temporal equilibrium logic: a survey
• A normal form for linear temporal equilibrium logic
• Integrating Temporal Extensions of Answer Set Programming

Cites work

• Connecting first-order ASP and the logic FO(ID) through reducts
• Equilibrium logic
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 3940713 (Why is no real title available?)
• scientific article; zbMATH DE number 3960965 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 4119669 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• scientific article; zbMATH DE number 3237829 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with stable model semantics as a constraint programming paradigm
• MOLOG: A system that extends PROLOG with modal logic
• On the complexity of temporal equilibrium logic
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Representing action and change by logic programs
• Temporal Equilibrium Logic: A First Approach
• Temporal equilibrium logic: a survey
• The Semantics of Predicate Logic as a Programming Language
• The sentential calculus with infinitely long expressions

Cited in

(7)

• Temporal here and there
• scientific article; zbMATH DE number 991155 (Why is no real title available?)
• Stable Models for Temporal Theories
• Temporal Equilibrium Logic: A First Approach
• Temporal answer set programming on finite traces
• On the complexity of temporal equilibrium logic
• Linear-time temporal answer set programming

This page was built for publication: An infinitary encoding of temporal equilibrium logic

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