Metatheory of actions: beyond consistency
From MaRDI portal
Publication:1028966
DOI10.1016/j.artint.2007.04.013zbMath1168.68567MaRDI 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
68T27: Logic in artificial intelligence
Related Items
A unifying action calculus, A description logic based situation calculus, Constrained consequence, Position systems in dynamic domains, Characterizing causal action theories and their implementations in answer set programming, A general first-order solution to the ramification problem with cycles
Uses Software
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
