Reasoning about action I: a possible worlds approach
Artificial Intelligence
Embracing causality in fault reasoning
Artificial Intelligence
Frames in the space of situations (research note)
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Artificial Intelligence
Reasoning about actions: steady versus stabilizing state constraints
Artificial Intelligence
Maintaining knowledge about temporal intervals
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Accomodating Integrity Constraints During Database Design
EDBT '96 Proceedings of the 5th International Conference on Extending Database Technology: Advances in Database Technology
Causation, Action and Counterfactuals
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge
E-RES: Reasoning about Actions, Events and Observations
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Actions with Duration and Constraints: the Ramification Problem in Temporal Databases
ICTAI '02 Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence
Temporal reasoning in the situation calculus
Temporal reasoning in the situation calculus
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
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Situation calculus on a dense flow of time
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
FaCT++ description logic reasoner: system description
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Hi-index | 0.00 |
In this paper we study the ramification problem in the setting of time-owl. Standard solutions from the literature on reasoning about action are inadequate because they rely on the assumption that fluents persist, and actions have effects on the next situation only. In this paper we provide a solution to the ramification problem based on an extension of the situation calculus and the work of McCain and Turner. In our approach lies the use of static and dynamic rules which capture the indirect and direct effects of actions. Also our tool has the ability to address the frame problem which refers to the identification of fluents that remain unchanged as result of actions.