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 Alternative Formulations of the Event Calculus
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Ramification in the Normative Method of Causality
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Event calculus and temporal action logics compared
Artificial Intelligence
Artificial intelligence today
Artificial Intelligence
An approximation of action theories of AL and its application to conformant planning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Planning partially for situated agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
Finding a solution to the frame problem that is robust in the presence of actions with indirect effects has proven to be a difficult task. Examples that feature the instantaneous propagation of interacting indirect effects are particularly taxing. This article shows that an already widely known predicate calculus formalism, namely the event calculus, can handle such examples with only minor enhancements.