{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:03Z","timestamp":1725484863394},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_49","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T05:24:41Z","timestamp":1180675481000},"page":"733-746","source":"Crossref","is-referenced-by-count":3,"title":["A New Equational Foundation for the Fluent Calculus"],"prefix":"10.1007","author":[{"given":"Hans-Peter","family":"St\u00f6rr","sequence":"first","affiliation":[]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"49_CR1","unstructured":"Franz Baader and J\u00f6rg H. Siekmann. Unification theory. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming. Oxford University Press, 1993."},{"key":"49_CR2","unstructured":"Andrew B. Baker. A simple solution to the Yale Shooting problem. 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\u201320, Toronto, Kanada, 1989. Morgan Kaufmann."},{"issue":"1\u20132","key":"49_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0004-3702(98)00064-2","volume":"103","author":"W. Bibel","year":"1998","unstructured":"Wolfgang Bibel. Let\u2019s plan it deductively! Artificial Intelligence, 103(1\u20132):183\u2013208, 1998.","journal-title":"Artificial Intelligence"},{"volume-title":"The book of traces","year":"1995","key":"49_CR4","unstructured":"V. Diekert and G. Rozenberg, editors. The book of traces. World Scientific, Singapore etc., 1995."},{"key":"49_CR5","unstructured":"Andreas Henschel and Michael Thielscher. The LMW traffic world in the fluent calculus, 1999. \n                    http:\/\/www.ida.liu.se\/ext\/etai\/lmw\/TRAFFIC\/001\n                    \n                  ."},{"key":"49_CR6","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"Steffen H\u00f6lldobler and Josef Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225\u2013244, 1990.","journal-title":"New Generation Computing"},{"key":"49_CR7","doi-asserted-by":"crossref","unstructured":"Steffen H\u00f6lldobler and Hans-Peter St\u00f6rr. Complex plans in the fluent calculus. In S. H\u00f6lldobler, editor, Intellectics and Computational Logic. Kluwer Academic, 2000.","DOI":"10.1007\/978-94-015-9383-0_13"},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"Steffen H\u00f6lldobler and Hans-Peter St\u00f6rr. Solving the entailment problem in the fluent calculus using binary decision diagrams. In Proceedings of the First International Conference on Computational Logic (CL), 2000. (to appear).","DOI":"10.1007\/3-540-44957-4_50"},{"issue":"1","key":"49_CR9","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/BF01530895","volume":"14","author":"S. H\u00f6lldobler","year":"1995","unstructured":"Steffen H\u00f6lldobler and Michael Thielscher. Computing change and specificity with equational logic programs. Annals of Mathematics and Artificial Intelligence, 14(1):99\u2013133, 1995.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"49_CR10","doi-asserted-by":"crossref","unstructured":"Ray Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation, pages 359\u2013380. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"49_CR11","unstructured":"Erik Sandewall. Logic Modelling Workshop. URL: \n                    http:\/\/www.ida.liu.se\/ext\/etai\/lmw\/\n                    \n                  , 1999."},{"key":"49_CR12","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00244285","volume":"8","author":"J. C. Shepherdson","year":"1992","unstructured":"John C. Shepherdson. SLDNF-resolution with equality. Journal of Automated Reasoning, 8:297\u2013306, 1992.","journal-title":"Journal of Automated Reasoning"},{"issue":"1\u20132","key":"49_CR13","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0004-3702(99)00033-8","volume":"111","author":"M. Thielscher","year":"1999","unstructured":"Michael Thielscher. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence, 111(1\u20132):277\u2013299, 1999.","journal-title":"Artificial Intelligence"},{"key":"49_CR14","unstructured":"Michael Thielscher. Modeling actions with ramifications in nondeterministic, concurrent, and continuous domains\u2014and a case study. 2000. URL: \n                    http:\/\/pikas.inf.tu-dresden.de\/~mit\/publications\/conferences\/casestudy.ps\n                    \n                  ."},{"key":"49_CR15","unstructured":"Michael Thielscher. Representing the knowledge of a robot. In A. Cohn, F. Giunchiglia, and B. Selman, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), Breckenridge, CO, April 2000. (To appear)."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,17]],"date-time":"2019-02-17T02:43:33Z","timestamp":1550371413000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_49","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}