{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,27]],"date-time":"2023-10-27T04:44:51Z","timestamp":1698381891553},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530739","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"97-135","source":"Crossref","is-referenced-by-count":8,"title":["Using default and causal reasoning in diagnosis"],"prefix":"10.1007","volume":"11","author":[{"given":"Kurt","family":"Konolige","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"75","volume":"11","author":"P. Besnard","year":"1994","unstructured":"P. Besnard and M.-O. Cordier, Explanatory diagnoses and their characterization by circumscription, this volume, Ann. Math. and AI 11 (1994) 75?96.","journal-title":"Ann. Math. and AI"},{"key":"CR2","volume-title":"Intentions in Communication","year":"1990","unstructured":"P.R. Cohen, J. Morgan and M.E. Pollack (eds.),Intentions in Communication (MIT Press, Cambridge, MA, 1990)."},{"issue":"3","key":"CR3","doi-asserted-by":"crossref","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, Comput. Intelligence 7(3) (1991) 133?141.","journal-title":"Comput. Intelligence"},{"key":"CR4","unstructured":"L. Console, D. Theseider Dupre and P. Torasso, Abductive reasoning through direct deduction from completed domain models, in: Z. W. Ras (ed.),Methodologies for Intelligent Systems 4 (North-Holland, 1988) pp. 175?182."},{"key":"CR5","unstructured":"R. Davis and W. Hamscher, Model-based reasoning: Troubleshooting, in: H. E. Shrobe (ed.),Exploring Artificial Intelligence: Survey Talks from the National Conferences on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 12988) pp. 297?346."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR7","unstructured":"J. de Kleer and B. C. Williams, Diagnosis with behavioral modes, in:Proc. Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses, in:Proc. Conf. of the American Association of Artificial Intelligence, Boston, MA, 1990.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer, An assumption-based truth maintenance system, Artificial Intelligence 28 (1986) 127?162.","journal-title":"Artificial Intelligence"},{"key":"CR10","unstructured":"O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,European Conference on Artificial Intelligence, Vienna, 1992."},{"key":"CR11","unstructured":"G. Friedrich, G. Gotllob and W. Nejdl, Physical impossibility instead of fault models, in:Proc. Conf. of the American Association of Artificial Intelligence (MIT Press, 1990)."},{"key":"CR12","unstructured":"H. Geffner, Default reasoning: Causal and conditional theories, Ph.D. Thesis, Department of Computer Science, University of California at Los Angeles (1989)."},{"key":"CR13","first-page":"169","volume":"11","author":"U. Junker","year":"1994","unstructured":"U. Junker, Preferring diagnoses using a partial order on assumptions, this volume, Ann. Math. and AI 11 (1994) 169?185.","journal-title":"Ann. Math. and AI"},{"key":"CR14","unstructured":"K. Konolige, What's happening: elements of commonsense causation, in:Proc. Int. Conf. on Cognitive Science, San Sebastian, Spain, May 1991."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"K. Konolige, Abduction vs. closure in causal theories, Artificial Intelligence 53(2?3) (1992).","DOI":"10.1016\/0004-3702(92)90073-7"},{"key":"CR16","unstructured":"D. Lewis,Counterfactuals (Blackwell, 1973)."},{"key":"CR17","unstructured":"P. Pandurang Nayak, Causal approximation, in:Proc. Conf. of the American Association of Artificial Intelligence, Menlo Park, CA, 1992 (AAAI Press\/MIT Press) pp. 703?709."},{"key":"CR18","unstructured":"P. Pandurang Nayak, Order of magnitude reasoning using logarithms, in:Proc. Int. Conf. on Knowledge Representation and Reasoning, San Mateo, CA, 1992 (Morgan Kaufmann) pp. 201?210."},{"key":"CR19","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl,Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference (Morgan Kaufmann, San Mateo, CA, 1988)."},{"key":"CR20","unstructured":"D. Poole, Representing knowledge for logic-based diagnosis, in:Proc. Int. Conf. on Fifth Generation Computing Systems, Tokyo, 1988, pp. 1282?1290."},{"key":"CR21","series-title":"Technical Report","volume-title":"A methodology for using default and abductive reasoning system","author":"D. Poole","year":"1988","unstructured":"D. Poole, A methodology for using default and abductive reasoning system, Technical Report, Department of Computer Science, University of Waterloo, Waterloo, Ontario (1988)."},{"key":"CR22","unstructured":"D. Poole, Normality and faults in logic-based diagnosis, in:Proc. Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989."},{"key":"CR23","first-page":"33","volume":"11","author":"D. Poole","year":"1994","unstructured":"D. Poole, Representing diagnosis knowledge, this volume, Ann. Math. and AI 11 (1994) 33?50.","journal-title":"Ann. Math. and AI"},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"J. A. Reggia, D. S. Nau and Y. Wang, A formal model of diagnostic inference I. Problem formulation and decomposition, Inf. Sci. 37 (1985).","DOI":"10.1016\/0020-0255(85)90015-5"},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987).","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CR26","unstructured":"M. Shanahan, Prediction is deduction but explanation is abduction, in:Proc. Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989."},{"key":"CR27","volume-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1987","unstructured":"Y. Shoham,Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence (MIT Press, Cambridge, Massachusetts, 1987)."},{"key":"CR28","unstructured":"P. Strass and O. Dressler, Physical negation ? integrating fault models into the general diagnostic engine, in:Proc. Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989, pp. 1318?1323."},{"key":"CR29","volume-title":"A Probabilistic Theory of Causation","author":"P. Suppes","year":"1970","unstructured":"P. Suppes,A Probabilistic Theory of Causation (North-Holland, Amsterdam, 1970)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530739\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530739.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530739\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:29Z","timestamp":1556890289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":29,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530739"],"URL":"https:\/\/doi.org\/10.1007\/bf01530739","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}