{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:05:12Z","timestamp":1743080712342,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612919"},{"type":"electronic","value":"9783540684503"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61291-2_41","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:25:58Z","timestamp":1330273558000},"page":"54-68","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic"],"prefix":"10.1007","author":[{"given":"Charles","family":"Elkan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"5_CR1","unstructured":"Andrew B. Baker. A simple solution to the Yale shooting problem. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 11\u201320, 1989."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"B. B. Andrew","year":"1991","unstructured":"Andrew B. Baker. Nonmonotonic reasoning in the framework of the situation calculus. Artificial Intelligence, 49:5\u201323, 1991.","journal-title":"Artificial Intelligence"},{"key":"5_CR3","first-page":"293","volume-title":"Logic and Databases","author":"L. C. Kenneth","year":"1978","unstructured":"Kenneth L. Clark. Negation as failure. In Herv\u00e9 Gallaire and Jack Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"5_CR4","unstructured":"Mark Denecker and Danny De Schreye. Representing incomplete knowledge in abductive logic programming. In Dale Miller, editor, Proceedings of the International Logic Programming Symposium, pages 147\u2013163, 1993."},{"key":"5_CR5","unstructured":"Charles Elkan. Incremental, approximate planning. In Proceedings of the National Conference on Artificial Intelligence, pages 145\u2013150, Boston, Massachusetts, August 1990."},{"key":"5_CR6","volume-title":"Technical Report CS92-266","author":"C. Elkan","year":"1992","unstructured":"Charles Elkan. The qualification problem, the frame problem, and nonmonotonic logic. Technical Report CS92-266, Department of Computer Science and Engineering, University of California, San Diego, 1992."},{"key":"5_CR7","first-page":"221","volume-title":"Proceedings of the Conference of the Canadian Society for Computational Studies of Intelligence","author":"C. Elkan","year":"1992","unstructured":"Charles Elkan. Reasoning about action in first-order logic. In Proceedings of the Conference of the Canadian Society for Computational Studies of Intelligence, pages 221\u2013227, Vancouver, B.C., Canada, May 1992. Morgan Kaufmann Publishers, Inc."},{"issue":"3","key":"5_CR8","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379\u2013412, November 1987.","journal-title":"Artificial Intelligence"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"G. Neelakantan Kartha and Vladimir Lifschitz. Actions with indirect effects (preliminary report). In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR'94), pages 341\u2013350, Bonn, Germany, May 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50127-5"},{"key":"5_CR10","unstructured":"Robert Kowalski and Fariba Sadri. The situation calculus and event calculus compared. In Proceedings of the International Logic Programming Symposium, 1994."},{"issue":"1","key":"5_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"A. K. Robert","year":"1986","unstructured":"Robert A. Kowalski and Marek Sergot. A logic-based calculus of events. New Generation Computing, 4(1):67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF00297511","volume":"17","author":"H. J. Levesque","year":"1988","unstructured":"Hector J. Levesque. Logic and the complexity of reasoning. The Journal of Philosophical Logic, 17:355\u2013389, 1988.","journal-title":"The Journal of Philosophical Logic"},{"key":"5_CR13","unstructured":"Vladimir Lifschitz, Norman McCain, and Hudson Turner. Automated reasoning about action: A logic programming approach. In Dale Miller, editor, Proceedings of the International Logic Programming Symposium, page 641, 1993."},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/B978-0-934613-32-3.50009-5","volume-title":"Proceedings of the Workshop on the Frame Problem in Artificial Intelligence","author":"V. Lifschitz","year":"1987","unstructured":"Vladimir Lifschitz. Formal theories of action. In Frank M. Brown, editor, Proceedings of the Workshop on the Frame Problem in Artificial Intelligence, pages 35\u201358, Lawrence, Kansas, 1987. Morgan Kaufmann Publishers, Inc."},{"key":"5_CR15","unstructured":"John McCarthy and Patrick J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence, volume 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"issue":"12","key":"5_CR16","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"John McCarthy. Circumscription\u2014a form of non-monotonic reasoning. Artificial Intelligence, 13(1,2):27\u201339, April 1980. Special Issue on Non-Monotonic Logic.","journal-title":"Artificial Intelligence"},{"key":"5_CR17","unstructured":"Edwin P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 324\u2013332. Morgan Kaufmann Publishers, Inc., 1989."},{"key":"5_CR18","unstructured":"Javier Pinto and Raymond Reiter. Temporal reasoning in logic programming: a case for the situation calculus. In David S. Warren, editor, Proceedings of the Tenth International Conference on Logic Programming, pages 203\u2013221. MIT Press, 1993."},{"issue":"2","key":"5_CR19","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/BF00243002","volume":"5","author":"T. C. Przymusi\u0144ski","year":"1989","unstructured":"Teodor C. Przymusi\u0144ski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5(2):167\u2013206, June 1989.","journal-title":"Journal of Automated Reasoning"},{"key":"5_CR20","unstructured":"Raymond Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, 1991."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Lenhart K. Schubert. Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions. In Knowledge Representation and Defeasible Reasoning, pages 23\u201367. Kluwer Academic Publishers, 1989.","DOI":"10.1007\/978-94-009-0553-5_2"},{"issue":"2","key":"5_CR22","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"Murray Shanahan. A circumscriptive calculus of events. Artificial Intelligence, 77(2): 249\u2013284, September 1995.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"5_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)90061-2","volume":"71","author":"L. A. Stein","year":"1994","unstructured":"Lynn A. Stein and Leora Morgenstern. Motivated action theory: A formal theory of causal reasoning. Artificial Intelligence, 71(1): 1\u201342, November 1994.","journal-title":"Artificial Intelligence"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Dirk van Dalen. Logic and Structure. Springer Verlag, second edition, 1983.","DOI":"10.1007\/978-3-662-02382-2"}],"container-title":["Lecture Notes in Computer Science","Advances in Artifical Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61291-2_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:30:16Z","timestamp":1558254616000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61291-2_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612919","9783540684503"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-61291-2_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"3 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}