A unifying action calculus
From MaRDI portal
Publication:543584
DOI10.1016/J.ARTINT.2010.04.010zbMath1216.68277OpenAlexW2039591646MaRDI QIDQ543584
Publication date: 17 June 2011
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2010.04.010
Related Items (5)
Simulating Dynamic Systems Using Linear Time Calculus Theories ⋮ A general first-order solution to the ramification problem with cycles ⋮ John McCarthy's legacy ⋮ Position systems in dynamic domains ⋮ Asynchronous knowledge with hidden actions in the situation calculus
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A logic-based calculus of events
- Nonmonotonic causal theories
- Metatheory of actions: beyond consistency
- Reasoning about action. I: A possible worlds approach
- Nonmonotonic logic and temporal projection
- Circumscription - a form of non-monotonic reasoning
- Nonmonotonic reasoning in the framework of situation calculus
- Ramification and causality
- From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
- A circumscriptive calculus of events
- Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
- Event calculus and temporal action logics compared
- STRIPS: A new approach to the application of theorem proving to problem solving
- Some contributions to the metatheory of the situation calculus
- Representing action and change by logic programs
- The Range of Applicability of some Non-monotonic Logics for Strict Inertia
- FLUX: A logic programming method for reasoning agents
- On knowledge-based programming with sensing in the situation calculus
This page was built for publication: A unifying action calculus
