Strongly Equivalent Temporal Logic Programs

DOI10.1007/978-3-540-87803-2_3MaRDI QIDQ3532454zbMATH OpenOpenAlexFDO

Authors Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Publication date 27 October 2008

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-87803-2_3

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Strongly equivalent logic programs
• Temporal Equilibrium Logic: A First Approach
• Infinitary equilibrium logic and strongly equivalent logic programs
• Strong equivalence made easy: nested expressions and weight constraints
• scientific article; zbMATH DE number 2090116

Cites work

• A Characterization of Strong Equivalence for Logic Programs with Variables
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 2085248 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Logic programs with stable model semantics as a constraint programming paradigm
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• Nonmonotonic causal theories
• Ramification and causality
• Representing action and change by logic programs
• Strongly equivalent logic programs
• Temporal Equilibrium Logic: A First Approach

Cited in

(5)

• Capturing equilibrium models in modal logic
• Loop formulas for splitable temporal logic programs
• Characterising equilibrium logic and nested logic programs: Reductions and complexity,
• Temporal equilibrium logic: a survey
• Temporal logic programs with variables

This page was built for publication: Strongly Equivalent Temporal Logic Programs

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