A logic-based calculus of events
New Generation Computing
Nonmonotonic logic and temporal projection
Artificial Intelligence
Reasoning about action I: a possible worlds approach
Artificial Intelligence
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
ADL: exploring the middle ground between STRIPS and the situation calculus
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Nonmonotonic reasoning in the framework of situation calculus
Artificial Intelligence - Special issue on knowledge representation
Artificial intelligence and mathematical theory of computation
Representing actions in equational logic programming
Proceedings of the eleventh international conference on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
Features and fluents (vol. 1): the representation of knowledge about dynamical systems
A circumscriptive calculus of events
Artificial Intelligence
Artificial Intelligence
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
On knowledge-based programming with sensing in the situation calculus
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Metatheory of actions: Beyond consistency
Artificial Intelligence
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Journal of Artificial Intelligence Research
Soundness and completeness theorems for three formalizations of action
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
The ramification problem in the event calculus
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Towards an integration of Golog and planning
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Cohesion, coupling and the meta-theory of actions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A causal theory of ramifications and qualifications
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Event calculus and temporal action logics compared
Artificial Intelligence
Embracing causality in specifying the indeterminate effects of actions
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A Fluent Calculus Semantics for ADL with Plan Constraints
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Simple Default Reasoning in Theories of Action
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Journal of Artificial Intelligence Research
Artificial Intelligence
Modeling surgical processes: A four-level translational approach
Artificial Intelligence in Medicine
Working with events and states in PENG light
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
The Markov assumption: formalization and impact
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
McCarthy's Situation Calculus is arguably the oldest special-purpose knowledge representation formalism, designed to axiomatize knowledge of actions and their effects. Four decades of research in this area have led to a variety of alternative formalisms: While some approaches can be considered instances or extensions of the classical Situation Calculus, like Reiter's successor state axioms or the Fluent Calculus, there are also special planning languages like ADL and approaches based on a linear (rather than branching) time structure like the Event Calculus. The co-existence of many different calculi has two main disadvantages: The formal relations among them is a largely open issue, and a lot of today's research concerns the transfer of specific results from one approach to another. In this paper, we present a unifying action calculus, which encompasses (well-defined classes of) all of the aforementioned formalisms. Our calculus not only facilitates comparisons and translations between specific approaches, it also allows to solve interesting problems for various calculi at once. We exemplify this by providing a general, calculus-independent solution to a problem of practical relevance, which is intimately related to McCarthy's quest for elaboration tolerant formalisms: the modularity of domain axiomatizations.