{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T13:35:01Z","timestamp":1726407301380},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667490"},{"type":"electronic","value":"9783540467670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46767-x_9","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:51Z","timestamp":1269897171000},"page":"117-131","source":"Crossref","is-referenced-by-count":0,"title":["From Causal Theories to Logic Programs (Sometimes)"],"prefix":"10.1007","author":[{"given":"Fangzhen","family":"Lin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kewen","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"G. M","year":"1991","unstructured":"M. Gelfond, V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"V. Lifschitz. Action languages, answer sets and planning. In: The Logic Programming Paradigm: a 25-Year Perspective, Springer Verlag, 1999.","DOI":"10.1007\/978-3-642-60085-2_16"},{"key":"9_CR3","unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In: Proc.IJCAI\u201995, pages 1985\u20131991, 1995."},{"key":"9_CR4","unstructured":"F. Lin. Embracing causality in specifying the indeterminate effects of actions. In:Proc. AAAI\u201996, pages 670\u2013676, 1996."},{"key":"9_CR5","unstructured":"N. Leone, G. Pfeifer and W. Faber. The dlv project: A disjunctive datalog system, \n                    http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"9_CR6","unstructured":"I. Niemel\u00e4, P. Simons. Efficient implementation of the well-founded model and stable model semantics. In: Proc. JICLP\u201996, pages 289\u2013303, 1996."},{"key":"9_CR7","first-page":"418","volume-title":"Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy","author":"Reiter. R","year":"1991","unstructured":"R. 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: Papers in Honor of John McCarthy, pages 418\u2013420. Academic Press, San Diego, CA, 1991."},{"issue":"1-3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"Turner. H","year":"1997","unstructured":"H. Turner. Representing actions in logic programs and default theories: A situation calculus approach. Journal of Logic Programming, 31(1-3): 245\u2013298, 1997.","journal-title":"Journal of Logic Programming"},{"key":"9_CR9","unstructured":"H. Turner. A logic of universal causation. Artificial Intelligence, 1998."}],"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-46767-X_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:21:04Z","timestamp":1551097264000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46767-X_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667490","9783540467670"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-46767-x_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}