{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:35Z","timestamp":1761611075195,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,4,1]],"date-time":"2001-04-01T00:00:00Z","timestamp":986083200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2001,4]]},"DOI":"10.1023\/a:1010558931274","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T12:42:08Z","timestamp":1040647328000},"page":"315-331","source":"Crossref","is-referenced-by-count":10,"title":["The Concurrent, Continuous Fluent Calculus"],"prefix":"10.1007","volume":"67","author":[{"given":"Michael","family":"Thielscher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"355874_CR1","unstructured":"Baker, A. B., \u2018A simple solution to the Yale Shooting problem\u2019, in R. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 11-20, Toronto, Kanada, 1989, Morgan Kaufmann."},{"issue":"1-2","key":"355874_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/S0004-3702(98)00064-2","volume":"103","author":"W. Bibel","year":"1998","unstructured":"Bibel, W., \u2018Let's plan it deductively!\u2019 Artificial Intelligence 103(1-2):183-208, 1998.","journal-title":"Artificial Intelligence"},{"volume-title":"The Book of Traces","year":"1995","key":"355874_CR3","unstructured":"Diekert, V., and G. Rozenberg, editors, The Book of Traces, World Scientific, Singapore, 1995."},{"key":"355874_CR4","first-page":"183","volume":"4","author":"C. Green","year":"1969","unstructured":"Green, C., \u2018Theorem proving by resolution as a basis for question-answering systems\u2019, Machine Intelligence, 4:183-205, 1969.","journal-title":"Machine Intelligence"},{"key":"355874_CR5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00d6lldobler","year":"1990","unstructured":"H\u00d6lldobler, S., and J. Schneeberger, \u2018A new deductive approach to planning\u2019, New Generation Computing 8:225-244, 1990.","journal-title":"New Generation Computing"},{"key":"355874_CR6","first-page":"463","volume":"4","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., and P.J. Hayes, \u2018Some philosophical problems from the standpoint of artificial intelligence\u2019, Machine Intelligence 4:463-502, 1969.","journal-title":"Machine Intelligence"},{"key":"355874_CR7","doi-asserted-by":"crossref","unstructured":"Reiter, R., \u2018The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression\u2019, in V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359-380, Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"355874_CR8","unstructured":"Reiter, R., \u2018Natural actions, concurrency and continuous time in the situation calculus\u2019, in L.C. Aiello, J. Doyle, and S. Shapiro, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 2-13, Cambridge, MA, November 1996, Morgan Kaufmann."},{"key":"355874_CR9","unstructured":"Sandewall, E., \u2018Combining logic and differential equations for describing real-world systems\u2019, in R. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 412-420, Toronto, Kanada, 1989, Morgan Kaufmann."},{"key":"355874_CR10","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0004-3702(94)00036-Z","volume":"77","author":"M. Shanahan","year":"1995","unstructured":"Shanahan, M., \u2018A circumscriptive calculus of events\u2019, Artificial Intelligence 77:249-284, 1995.","journal-title":"Artificial Intelligence"},{"key":"355874_CR11","doi-asserted-by":"crossref","unstructured":"St\u00d6rr, H.-P., and M. Thielscher, \u2018A new equational foundation for the fluent calculus\u2019, in J. Lloyd et al, editor, Proceedings of the International Conference on Computational Logic (CL), volume 1861 of LNAI, pages 733-746, London (UK), July 2000, Springer.","DOI":"10.1007\/3-540-44957-4_49"},{"issue":"1-2","key":"355874_CR12","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"Thielscher, M., \u2018Ramification and causality\u2019, Artificial Intelligence 89(1-2):317-364, 1997.","journal-title":"Artificial Intelligence"},{"key":"355874_CR13","unstructured":"Thielscher, M., \u2018Fluent Calculus planning with continuous change\u2019, Electronic Transactions on Artificial Intelligence 1999. (Submitted.) URL: http:\/\/www.ep.liu.se\/ea\/cis\/1999\/011\/."},{"issue":"1-2","key":"355874_CR14","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Thielscher, M., \u2018From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem\u2019, Artificial Intelligence 111(1-2):277-299, 1999.","journal-title":"Artificial Intelligence"},{"key":"355874_CR15","doi-asserted-by":"crossref","unstructured":"Thielscher, M., \u2018Nondeterministic actions in the fluent calculus: Disjunctive state update axioms\u2019, in S. H\u00f6lldobler, editor, Intellectics and Computational Logic, pages 327-345, Kluwer Academic, 2000.","DOI":"10.1007\/978-94-015-9383-0_20"},{"key":"355874_CR16","unstructured":"Thielscher, M., \u2018Representing the knowledge of a robot\u2019, in A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 109-120, Breckenridge, CO, April 2000, Morgan Kaufmann."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010558931274.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1010558931274\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1010558931274.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:30:07Z","timestamp":1754631007000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1010558931274"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,4]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2001,4]]}},"alternative-id":["355874"],"URL":"https:\/\/doi.org\/10.1023\/a:1010558931274","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2001,4]]}}}