{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:18Z","timestamp":1725664998866},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615323"},{"type":"electronic","value":"9783540687290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61532-6_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:52:18Z","timestamp":1330275138000},"page":"483-494","source":"Crossref","is-referenced-by-count":0,"title":["A logic for concurrent events and action failure"],"prefix":"10.1007","author":[{"given":"David","family":"Morley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liz","family":"Sonenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"41_CR1","unstructured":"Drakengren, T. 1996. Compositionality and the frame problem. Technical Report LiTH-IDA-R-96-4, Department of Computer and Information Science, Link\u00f6ping University."},{"key":"41_CR2","volume-title":"Ph.D. Dissertation","author":"G. M. Ferguson","year":"1995","unstructured":"Ferguson, G. M. 1995. Knowledge Representation and Reasoning for Mixed-Initiative Planning. Ph.D. Dissertation, University of Rochester, Rochester, New York."},{"key":"41_CR3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-94-011-3488-0_8","volume-title":"Automated Reasoning: Essays in Honor of Woody Bledsoe","author":"M. Gelfond","year":"1991","unstructured":"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\u2013179."},{"key":"41_CR4","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1109\/CAIA.1990.89190"},{"key":"41_CR5","first-page":"99","volume-title":"Actions, processes, and causality","author":"M. P. Georgeff","year":"1987","unstructured":"Georgeff, M. P. 1987. Actions, processes, and causality. In Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, 99\u2013122. Los Altos, California: Morgan Kaufmann."},{"key":"41_CR6","unstructured":"Giunchiglia, F., Spalazzi, L., and Traverso, P. 1994. Planning with failure. In Proceedings Second International Conference on AI Planning Systems (AIPS-94)."},{"key":"41_CR7","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., and Hayes, P. J. 1969. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4:463\u2013502.","journal-title":"Machine Intelligence"},{"key":"41_CR8","first-page":"123","volume-title":"Saying you are there","author":"D. N. Morley","year":"1995","unstructured":"Morley, D. N., Sonenberg, E., and Georgeff, M. P. 1995. Saying you are there. In Yao, X., ed., Proceedings Eighth Australian Joint Conference on AI (AI'95), 123\u2013130. Singapore: World Scientific."},{"key":"41_CR9","unstructured":"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\u201367."},{"key":"41_CR10","unstructured":"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\u20131497. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","PRICAI'96: Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61532-6_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:33:55Z","timestamp":1619559235000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61532-6_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615323","9783540687290"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-61532-6_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}