A logic-based calculus of events
New Generation Computing
A new deductive approach to planning
New Generation Computing
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
Proving properties of states in the situation calculus
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming (vol. 3)
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
An analysis of systematic approaches to reasoning about actions and change
AIMSA '94 Proceedings of the sixth international conference on Artificial intelligence : methodology, systems, applications: methodology, systems, applications
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The Qualification Problem: A solution to the problem of anomalous models
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Cicumscribing Features and Fluents
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Some Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Causality in Commonsense Reasoning about Actions
Causality in Commonsense Reasoning about Actions
A unifying semantics for time and events
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Event Calculus Reasoning Through Satisfiability
Journal of Logic and Computation
Commonsense Reasoning
STRIPS: a new approach to the application of theorem proving to problem solving
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
Filter preferential entailment for the logic of action in almost continuous worlds
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
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
Artificial intelligence today
Reasoning Robots: The Art and Science of Programming Robotic Agents
Reasoning Robots: The Art and Science of Programming Robotic Agents
Artificial Intelligence
Hi-index | 0.00 |
We compare the event calculus and temporal action logics (TAL), two formalisms for reasoning about action and change. We prove that, if the formalisms are restricted to integer time, inertial fluents, and relational fluents, and if TAL action type specifications are restricted to definite reassignment of a single fluent, then the formalisms are not equivalent. We argue that equivalence cannot be restored by using more general TAL action type specifications. We prove however that, if the formalisms are further restricted to single-step actions, then they are logically equivalent.