The ramification problem in the event calculus

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1999, Pages 140-146

  Shanahan, Murray ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT CALCULUS; FRAME PROBLEMS; INDIRECT EFFECTS; RAMIFICATION PROBLEMS;

ARTIFICIAL INTELLIGENCE;

LOGIC PROGRAMMING;

EID: 84880694453     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. M.Denecker, D.Theseider Dupr6 and K.Van Belleghem, An Inductive Definition Approach to Ramifications, Electronic Transactions on Artificial Intelligence, to appear.
2. J.Gustafsson and P.Doherty, Embracing Occlusion in Specifying the Indirect Effects of Actions, Proceedings 1996 Knowledge Representation Conference (KR 96), pp. 87-98.
3. A.Kakas and R.S.Miller, Reasoning about Actions, Narrative and Ramification, Electronic Transactions on Artificial Intelligence, vol. 1 (1997), pp. 39-72.
4. F.Lin, Embracing Causality in Specifying the Indirect Effects of Actions, Proceedings 1JCA1 95, pp. 1985-1991.
5. N.McCain and H.Turner, A Causal Theory of Ramifications and Qualifications, Proceedings UCAl 95, pp. 1978-1984.
6. JJPinto, Concurrent Actions and Interacting Effects, Proceedings 1998 Knowledge Representation Conference (KR 98), pp. 292-303.
7. E.Sandewall, Assessments of Ramification Methods that Use Static Domain Constraints, Proceedings 1996 Knowledge Representation Conference (KR 96), pp. 99-110.
8. M.P.Shanahan, Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia, MIT Press, 1997.
9. M.Thielscher, Ramification and Causality, Artificial Intelligence, vol. 89 (1997), pp. 317-364.