{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:44:19Z","timestamp":1725493459853},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664956"},{"type":"electronic","value":"9783540482383"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48238-5_11","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T18:18:54Z","timestamp":1193509134000},"page":"137-148","source":"Crossref","is-referenced-by-count":0,"title":["A Theory of First-Order Counterfactual Reasoning"],"prefix":"10.1007","author":[{"given":"Michael","family":"Thielscher","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"11_CR1","unstructured":"A. Balke and J. Pearl. Counterfactuals and policy analysis. In P. Besnard and S. Hanks, ed.\u2019s, Proc. of UAI, pp. 11-18. Morgan Kaufmann, 1995."},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF03037438","volume":"4","author":"W. Bibel","year":"1986","unstructured":"W. Bibel. A deductive solution for plan generation. New Gener. Comput., 4:115\u2013132, 1986.","journal-title":"New Gener. Comput."},{"issue":"1-2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0004-3702(98)00064-2","volume":"103","author":"W. Bibel","year":"1998","unstructured":"W. Bibel. Let\u2019s plan it deductively! Artif. Intell., 103(1-2):183\u2013208, 1998.","journal-title":"Artif. Intell."},{"key":"11_CR4","unstructured":"D. Galles and J. Pearl. An axiomatic characterization od causal counterfactuals. In Foundations of Science. Kluwer Academic, 1998."},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M. L. Ginsberg","year":"1986","unstructured":"M. L. Ginsberg. Counterfactuals. Artif. Intell., 30:35\u201379, 1986.","journal-title":"Artif. Intell."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M. L. Ginsberg","year":"1988","unstructured":"M. L. Ginsberg and D. E. Smith. Reasoning about action I: A possible worlds approach. Artif. Intell., 35:165\u2013195, 1988.","journal-title":"Artif. Intell."},{"key":"11_CR7","doi-asserted-by":"publisher","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 Gener. Comput., 8:225\u2013244, 1990.","journal-title":"New Gener. Comput."},{"key":"11_CR8","unstructured":"D. Lewis. Counterfactuals. Harvard University Press, 1973."},{"key":"11_CR9","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifschitz","year":"1990","unstructured":"V. Lifschitz. Frames in the space of situations. Artif. Intell., 46:365\u2013376, 1990.","journal-title":"Artif. Intell."},{"issue":"5","key":"11_CR10","doi-asserted-by":"publisher","first-page":"655","DOI":"10.1093\/logcom\/4.5.655","volume":"4","author":"F. Lin","year":"1994","unstructured":"F. Lin and R. Reiter. State constraints revisited. J. of Logic and Comput., 4(5):655\u2013678, 1994.","journal-title":"J. of Logic and Comput."},{"key":"11_CR11","unstructured":"J. McCarthy and T. Costello. Useful counterfactuals and approximate theories. In C. Ortiz, ed., Prospectes for a Commonsense Theory of Causation, AAAI Spring Symposia, pp. 44\u201351, Stanford, 1998. AAAI Press."},{"issue":"1-2","key":"11_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/S0004-3702(96)00033-1","volume":"89","author":"M. Thielscher","year":"1997","unstructured":"M. Thielscher. Ramification and causality. Artif. Intell., 89(1-2):317\u2013364, 1997.","journal-title":"Artif. Intell."},{"key":"11_CR13","unstructured":"M. Thielscher. Introduction to the Fluent Calculus. Electr. Transact. on Artif. Intell., 1998. (Submitted). URL: \n                    http:\/\/www.ep.liu.se.\/ea\/cis\/1998\/014\/\n                    \n                  ."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"M. Thielscher. From Situation Calculus to Fluent Calculus: State update axioms as a solution to the inferential frame problem. Artif. Intell., 1999. (To appear).","DOI":"10.1016\/S0004-3702(99)00033-8"}],"container-title":["Lecture Notes in Computer Science","KI-99: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48238-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T17:10:29Z","timestamp":1551028229000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48238-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664956","9783540482383"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-48238-5_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}