{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:58Z","timestamp":1725664738834},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:10:34Z","timestamp":1330290634000},"page":"137-151","source":"Crossref","is-referenced-by-count":1,"title":["An abstract machine for reasoning about situations, actions, and causality"],"prefix":"10.1007","author":[{"given":"Kerstin","family":"Eder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"H\u00f6lldobler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Thielscher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of the ACM Symposium on Principles of Programming Languages, pages 81\u201394, 1990.","DOI":"10.1145\/96709.96717"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"W. Bibel. A deductive solution for plan generation. New Generation Computing, 4:115\u2013132, 1986.","journal-title":"New Generation Computing"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"A. de Waal and M. Thielscher. Solving deductive planning problems using program analysis and transformation. In M. Proietti, editor, Proceedings of the International Workshop on Logic Program Synthesis and Transformation (LOPSTR). Springer, September 1995.","DOI":"10.1007\/3-540-60939-3_15"},{"key":"9_CR4","unstructured":"K. Eder. A resource-oriented deductive approach towards hierarchical planning. Diplomarbeit, Technische Universit\u00e4t Dresden, Fakult\u00e4t Informatik, May 1995."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"G. Gro\u00dfe, S. H\u00f6lldobler, and J. Schneeberger. Linear deductive planning. Journal of Logic and Computation, 1996. (To appear).","DOI":"10.1093\/logcom\/6.2.233"},{"issue":"1","key":"9_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Y. Girard","year":"1987","unstructured":"J. Y. Girard. Linear logic. Journal of Theoretical Computer Science, 50(1):1\u2013102, 1987.","journal-title":"Journal of Theoretical Computer Science"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF03037518","volume":"8","author":"S. H\u00f6lldobler","year":"1990","unstructured":"S. H\u00f6lldobler and J. Schneeberger. A new deductive approach to planning. New Generation Computing, 8:225\u2013244, 1990. A short version appeared in the Proceedings of the German Workshop on Artificial Intelligence, Informatik Fachberichte 216, pages 63\u201373, 1989.","journal-title":"New Generation Computing"},{"issue":"1","key":"9_CR8","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF01530895","volume":"14","author":"S. H\u00f6lldobler","year":"1995","unstructured":"S. H\u00f6lldobler and M. 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":"9_CR9","doi-asserted-by":"crossref","unstructured":"J. McCarthy. Situations and actions and causal laws. Stanford Artificial Intelligence Project: Memo 2, 1963.","DOI":"10.21236\/AD0785031"},{"key":"9_CR10","unstructured":"J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463\u2013502. Edinburgh University Press, 1969."},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/357162.357169","volume":"4","author":"A. Martelli","year":"1982","unstructured":"A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4:258\u2013282, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"M. Masseron, C. Tollu, and J. Vauzielles. Generating plans in linear logic. In Foundations of Software Technology and Theoretical Computer Science, pages 63\u201375. Springer, LNCS 472, 1990.","DOI":"10.1007\/3-540-53487-3_35"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness resul for goal regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation \u2014 Papers in Honor of John McCarthy, pages 359\u2013380. Academic Press, 1991.","DOI":"10.1016\/B978-0-12-450010-5.50026-8"},{"key":"9_CR14","unstructured":"E. D. Sacerdoti. Planning in a hierarchy of abstraction spaces. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 412\u2013422, 1973."},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00244285","volume":"8","author":"J. C. Shepherdson","year":"1992","unstructured":"J. C. Shepherdson. SLDNF-resolution with equality. Journal of Automated Reasoning, 8:297\u2013306, 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"M. Thielscher. On the completeness of SLDENF-resolution. Journal of Automated Reasoning, 1996. (To appear Fall '96).","DOI":"10.1007\/BF00244496"},{"key":"9_CR17","unstructured":"D. H. D. Warren. An abstract Prolog instruction set. Technical Report 306, SRI International, 1983."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:24Z","timestamp":1605647004000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}