Strongly Equivalent Temporal Logic Programs

DOI10.1007/978-3-540-87803-2_3zbMath1178.68551OpenAlexW1872003434MaRDI QIDQ3532454

Gilberto Pérez, Felicidad Aguado, Pedro Cabalar, 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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items (4)

Characterising equilibrium logic and nested logic programs: Reductions and complexity, ⋮ Temporal equilibrium logic: a survey ⋮ Temporal logic programs with variables ⋮ Capturing equilibrium models in modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nonmonotonic causal theories
• Ramification and causality
• Logic programs with stable model semantics as a constraint programming paradigm
• Temporal Equilibrium Logic: A First Approach
• Representing action and change by logic programs
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logics in Artificial Intelligence
• Logics in Artificial Intelligence
• A Characterization of Strong Equivalence for Logic Programs with Variables
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Strongly equivalent logic programs

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