A logic for concurrent events and action failure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1114, Issue , 1996, Pages 483-494

  Morley, David ^a   Sonenberg, Liz ^b  

^a Australian A I Institute Ltd   (Australia)

^b UNIVERSITY OF MELBOURNE   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957865076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61532-6_41     Document Type: Conference Paper

References (10)

1. Drakengren, T. 1996. Compositionality and the frame problem. Technical Report LiTH-IDA-R-96-4, Department of Computer and Information Science, Linköping University.
2. Ferguson, G. M. 1995. Knowledge Representation and Reasoning for Mixed-Initiative Planning. Ph.D. Dissertation, University of Rochester, Rochester, New York.
3. Gelfond, M., Lifschitz, V., and Rabinov, A. 1991. What are the limitations of the situation calculus? In Boyer, R., ed., Automated Reasoning: Essays in Honor of Woody Bledsoe. Dordrecht: Kluwer Academic Press. 167-179.
4. Georgeff, M. P., and Ingrand, F. F. 1990. Real-time reasoning: The monitoring and control of spacecraft systems. In Proceedings of the Sixth IEEE Conference on Artificial Intelligence Applications.
5. Georgeff, M. P. 1987. Actions, processes, and causality. In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 99-122. Los Altos, California: Morgan Kaufmann.
6. Giunchiglia, F., Spalazzi, L., and Traverso, P. 1994. Planning with failure. In Proceedings Second International Conference on AI Planning Systems (AIPS-94).
7. McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4:463-502.
8. Morley, D. N., Sonenberg, E., and George E M. P. 1995. Saying you are there. In Yao, X., ed., Proceedings Eighth Australian Joint Conference on AI (AI’95), 123-130. Singapore: World Scientific.
9. Schubert, L. 1990. Monotonic solution of the frame problem in the situation calculus. In Kyburg, H. E., Loui, R. P., and Carlson, G. N., eds., Knowledge Representation and Defeasible Reasoning, volume 5 of Studies in Cognitive Science. Kluwer Academic Press. 23-67.
10. Traverso, P., and Spalazzi, L. 1995. A logic for acting, sensing and planning. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence(IJCAI95), 1491-1497. Morgan Kaufmann.