{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:22Z","timestamp":1725664642450},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:33Z","timestamp":1330276713000},"page":"217-230","source":"Crossref","is-referenced-by-count":1,"title":["Situation calculus specifications for event calculus logic programs"],"prefix":"10.1007","author":[{"given":"Rob","family":"Miller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A. B. Baker","year":"1991","unstructured":"A. B. Baker, Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence, vol 49, page 5, 1991.","journal-title":"Artificial Intelligence"},{"key":"16_CR2","unstructured":"Chitta Baral and Michael Gelfond, Representing Concurrent Actions in Extended Logic Programming, Proceedings IJCAI 1993, Morgan Kaufmann, page 866, 1993."},{"key":"16_CR3","unstructured":"Marc Denecker and Danny De Schreye, Representing Incomplete Knowledge in Abductive Logic Programming, Proceedings of the International Symposium on Logic Programming, 1993."},{"key":"16_CR4","unstructured":"Phan Minh Dung, Representing Actions in Logic Programming and its Applications in Database Updates, Proceedings of the Tenth International Conference on Logic Programming, ed David S. Warren, MIT Press, pages 222\u2013238, 1993."},{"key":"16_CR5","unstructured":"Michael Gelfond and Vladimir Lifschitz, Representing Actions in Extended Logic Programming, Proceedings of the Joint International Conference and Symposium on Logic Programming, ed. Krzysztof Apt, MIT Press, page 560, 1992."},{"key":"16_CR6","unstructured":"G. Neelakantan Kartha, Soundness and Completeness Theorems for Three Formalizations of Action, Proceedings IJCAI 1993, page 724, 1993."},{"key":"16_CR7","unstructured":"R. A. Kowalski and F. Sadri, The Situation Calculus and Event Calculus Compared, Proceedings of the International Logic Programming Symposium, 1994"},{"key":"16_CR8","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"R. A. Kowalski and M. J. Sergot, A Logic-Based Calculus of Events, New Generation Computing, vol 4, page 267, 1986.","journal-title":"New Generation Computing"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Circumscription, in Handbook of Logic in A.I., ed.s D. Gabbay et al., OUP, pages 297\u2013352, 1995","DOI":"10.1093\/oso\/9780198537472.003.0006"},{"key":"16_CR10","unstructured":"Fangzhen Lin and Yoav Shoham, Provably Correct Theories of Action, Proceedings AAAI 1991, MIT Press, page 349, 1991."},{"key":"16_CR11","unstructured":"J. McCarthy and P. J. Hayes, Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Machine Intelligence 4, ed.s D. Michie and B. Meltzer, Edinburgh University Press, 1969."},{"key":"16_CR12","volume-title":"Imperial College Research Report DoC 94\/3","author":"R. S. Miller","year":"1994","unstructured":"R. S. Miller, Narratives in the Context of Temporal Reasoning, Imperial College Research Report DoC 94\/3, available from Department of Computing, Imperial College, 180 Queen's Gate, London SW7 2BZ, 1994."},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"R. S. Miller and M. P. Shanahan, Narratives in the Situation Calculus, in Journal of Logic and Computation, Special Issue on Actions and Processes, vol 4 no 5, Oxford University Press, 1994.","DOI":"10.1093\/logcom\/4.5.513"},{"key":"16_CR14","unstructured":"J. Pinto and R. Reiter, Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, Proceedings ICLP 93, page 203, 1993."},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"M. P. Shanahan, A Circumscriptive Calculus of Events, to appear in Artificial Intelligence, 1994.","DOI":"10.1016\/0004-3702(94)00036-Z"},{"key":"16_CR16","unstructured":"Leon Sterling and Ehud Shapiro, The Art of Prolog, MIT Press, 1986."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:32:39Z","timestamp":1713630759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}