{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:13Z","timestamp":1725494053704},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661313"},{"type":"electronic","value":"9783540487470"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48747-6_6","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T00:14:36Z","timestamp":1193703276000},"page":"55-67","source":"Crossref","is-referenced-by-count":4,"title":["Inferring Causal Explanations"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[]},{"given":"Marie-Odile","family":"Cordier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,20]]},"reference":[{"key":"6_CR1","unstructured":"A. Aliseda. Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. PhD thesis, Stanford University, Department of Computer Science, 1998."},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/BF01530738","volume":"11","author":"P. Besnard","year":"1994","unstructured":"P. Besnard and M.-O. Cordier. Explanatory diagnoses and their characterization by circumscription. Annals of Mathematics and Artificial Intelligence, 11:75\u201396, 1994.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR3","unstructured":"V. Brusoni, L. Console, P. Terenziani, and D. Theseider Dupre. Characterizing temporal abductive diagnosis. In Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201995), pages 34\u201340, Goslar (Germany), 1995."},{"key":"6_CR4","first-page":"1","volume":"4","author":"M. Cialdea-Mayer","year":"1996","unstructured":"M. Cialdea-Mayer and F. Pirri. Abduction is not deduction-in-reverse. IGPL, 4:1\u201314, 1996.","journal-title":"IGPL"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"L. Console and D. Theseider Dupr\u00e9. Abductive reasoning with abstraction axioms. In Foundations of Knowledge Representation and Reasoning, pages 98\u2013112, 1994.","DOI":"10.1007\/3-540-58107-3_6"},{"key":"6_CR6","unstructured":"L. Console and P. Torasso. Heuristic and causal reasoning in check. In J.-P. Krivine, J.M. David, R. Huber and C. Kulikowski, editors, IMACS Transactions on Scientific Computing, Paris, 1988."},{"issue":"1","key":"6_CR7","first-page":"83","volume":"5","author":"L. Console","year":"1990","unstructured":"L. Console and P. Torasso. Hypothetic reasoning in causal models. Intelligent Systems, 5(1):83\u2013124, 1990.","journal-title":"Intelligent Systems"},{"issue":"3","key":"6_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"6_CR9","unstructured":"M.-O. Cordier. When abductive diagnosis fails to explain too precise observations. In Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201998), pages 24\u201331, Cape Cod (USA), 1998."},{"key":"6_CR10","unstructured":"H. A. Kautz. A Formal Theory for Plan Recognition. PhD thesis, University of Rochester, Department of Computer Science, 1987."},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/S0004-3702(97)00057-X","volume":"96","author":"V. Lifschitz","year":"1997","unstructured":"V. Lifschitz. On the logic of causal explanation. Artificial Intelligence, 96:451\u2013465, 1997.","journal-title":"Artificial Intelligence"},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/S0004-3702(96)00032-X","volume":"89","author":"J. Lobo","year":"1997","unstructured":"J. Lobo and C. Uzc\u00e1tegui. Abductive consequence relations. Artificial Intelligence, 89:149\u2013171, 1997.","journal-title":"Artificial Intelligence"},{"key":"6_CR13","unstructured":"W. Nedjl and J. Gamper. Harnessing the power of temporal abstractions in model-based diagnosis of dynamic systems. In Proc. of the European Conference on Artificial Intelligence (ECAI), pages 667\u2013671, Amsterdam, 1994."},{"issue":"1","key":"6_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"D. Poole. Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence, 5(1):97\u2013110, 1989.","journal-title":"Computational Intelligence"},{"issue":"5","key":"6_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"D. Poole. A methodology for using a default and abductive reasoning system. Intelligent Systems, 5(5):521\u2013548, 1990.","journal-title":"Intelligent Systems"},{"key":"6_CR16","first-page":"87","volume-title":"Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201997)","author":"M. Porcheron","year":"1997","unstructured":"M. Porcheron and B. Ricard. An application of abductive diagnosis methods to a real-world problem. In Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201997), pages 87\u201394,Mont-Saint-Michel (France), 1997."},{"key":"6_CR17","unstructured":"C. Preist. Abduction using disjunctive causal models. In Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201994), pages 242\u2013251, New Paltz (NY), 1994."},{"issue":"5","key":"6_CR18","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/S0020-7373(83)80065-0","volume":"19","author":"J. A. Reggia","year":"1983","unstructured":"J. A. Reggia, D. S. Nau, and P. Y. Wang. Diagnostic expert systems based on a set covering model. Man-Machine Studies, 19(5):437\u2013460, 1983.","journal-title":"Man-Machine Studies"},{"key":"6_CR19","unstructured":"C. Sakama and K. Inoue. On generality in abduction and induction. In ECAI Workshop on \u201cAbduction and Induction in AI\u201d, Brighton, 1998."},{"key":"6_CR20","unstructured":"A. ten Teije and F. van Harmelen. An extended spectrum of logical definitions of diagnosis. In Proc. of the Int. Workshop on Principles of Diagnosis (DX\u201994), pages 334\u2013342, New Paltz (USA), 1994."}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48747-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T15:30:44Z","timestamp":1551022244000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48747-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661313","9783540487470"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-48747-6_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}