Metatheory of actions: beyond consistency

DOI10.1016/j.artint.2007.04.013zbMath1168.68567OpenAlexW2122299898MaRDI QIDQ1028966

Ivan Varzinczak, Andreas Herzig

Publication date: 9 July 2009

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

Full work available at URL: https://philarchive.org/rec/HERMOA

zbMATH Keywords

reasoning about actionsmodularityaction theoryramifications

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

Characterizing causal action theories and their implementations in answer set programming ⋮ A description logic based situation calculus ⋮ Constrained consequence ⋮ A general first-order solution to the ramification problem with cycles ⋮ A unifying action calculus ⋮ Position systems in dynamic domains

Uses Software

• CCalc

Cites Work

• Modularity and relevant logic
• Updating action domain descriptions
• Nonmonotonic causal theories
• Proof methods for modal and intuitionistic logics
• Reasoning about action. II: The qualification problem
• Linear resolution for consequence finding
• Simulation and transfer results in modal logic -- a survey
• Representing action: indeterminacy and ramifications
• Ramification and causality
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Some contributions to the metatheory of the situation calculus
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Regression in Modal Logic
• Properties of independently axiomatizable bimodal logics
• Representing action and change by logic programs
• State Constraints Revisited
• Formalizing action and change in modal logic I: the frame problem
• Logic Programming and Nonmonotonic Reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item