{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,23]],"date-time":"2023-08-23T14:42:03Z","timestamp":1692801723255},"reference-count":43,"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\/bf01530734","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"1-10","source":"Crossref","is-referenced-by-count":1,"title":["Introduction"],"prefix":"10.1007","volume":"11","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"J.S. Brown, R.R. Burton and J. de Kleer, Pedagogical, natural language and engineering techniques in SOPHIE I, II and III, in:Intelligent Tutoring Systems, eds. D. Sleeman and J.S. Brown (Academic Press, 1982); also in [25]."},{"issue":"1?3","key":"CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"T. Bylander, D. Allemang, M. Tanner and J. Josephson, The computational complexity of abduction, Artificial Intelligence 49(1?3) (1991) 25?60.","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"K. Clark, Negation as failure, in:Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum Press, 1978) pp. 293?322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"7","key":"CR4","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"J. Cohen, Constraint logic programming languages, Commun. ACM 33(7) (1990) 52?68.","journal-title":"Commun. ACM"},{"issue":"3","key":"CR5","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, Computational Intelligence 7(3) (1991) 133?141; also in [25].","journal-title":"Computational Intelligence"},{"key":"CR6","unstructured":"P.T. Cox and T. Pietrzykowski, General diagnosis by abductive inference,Proc. IEEE Symp. Logic Programming, San Francisco, 1987, pp. 183?189."},{"key":"CR7","unstructured":"P. Dague, P. Deves, P. Luciani and P. Taillibert, Analog systems diagnosis,Proc. 9th ECAI, Stockholm, 1990, pp. 173?178; also in [25]."},{"key":"CR8","unstructured":"P. Dague, O. Jehl, P. Deves, P. Luciani and P. Taillibert, When oscillators stop oscillating,Proc. 12th IJCAI, Sydney, 1991, pp. 1109?1115; also in [25]."},{"issue":"1?3","key":"CR9","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence 24(1?3) (1984) 347?410.","journal-title":"Artificial Intelligence"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"R. Davis and W. Hamscher, Model-based reasoning: Troubleshooting, in:Exploring Artificial Intelligence, ed. H.E. Shrobe (Morgan Kaufman, 1988) pp. 297?346; also in [25].","DOI":"10.1016\/B978-0-934613-67-5.50012-5"},{"issue":"3","key":"CR11","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J. Kleer de","year":"1990","unstructured":"J. de Kleer, Using crude probability estimates to guide diagnosis, Artificial Intelligence 45(3) (1990) 381?391; also in [25].","journal-title":"Artificial Intelligence"},{"key":"CR12","unstructured":"J. de Kleer, Focusing on probable diagnoses,Proc. AAAI91, Anaheim, CA, 1991, pp. 842?848; also in [25]."},{"issue":"2?3","key":"CR13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A. Mackworth, and R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56(2?3) (1992) 197?222; also in [25].","journal-title":"Artificial Intelligence"},{"issue":"1","key":"CR14","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(1) (1987) 97?130; also in [25].","journal-title":"Artificial Intelligence"},{"issue":"1?3","key":"CR15","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(91)90113-X","volume":"51","author":"D. DeCoste","year":"1991","unstructured":"D. DeCoste, Dynamic across-time measurement interpretation, Artificial Intelligence 51(1?3) (1991) 273?341.","journal-title":"Artificial Intelligence"},{"key":"CR16","unstructured":"D. Dvorak and B. Kuipers, Model-based monitoring of dynamic systems,Proc. 11th IJCAI, Detroit, 1989, pp. 1238?1243; also in [25]."},{"key":"CR17","unstructured":"K. Eshghi, Computing stable models by using the ATMS.Proc. AAAI90, Boston, 1990, pp. 272?276."},{"key":"CR18","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models,Proc. AAAI90, Boston, 1990, pp. 331?336; also in [25]."},{"key":"CR19","unstructured":"G. Friedrich and F. Lackinger, Diagnosing temporal misbehaviour,Proc. 12th IJCAI, Sydney, 1991, pp. 1116?1122."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"G. Friedrich, G. Gottlob, and W. Nejdl, Hypothesis classification, abductive diagnosis and therapy,Proc. Int. Workshop on Expert Systems in Engineering, Vienna, 1990, Lecture Notes in Artificial Intelligence, Vol. 462 (Springer Verlag).","DOI":"10.1007\/3-540-53104-1_32"},{"key":"CR21","unstructured":"H. Geffner and J. Pearl, Distributed diagnosis of systems with multiple faults,Proc 3rd IEEE Conf. on AI Application, Orlando, 1987, pp. 156?162; also in [25]."},{"key":"CR22","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming,Proc. 5th Int. Conf. and Symp. on Logic Programming, Seattle, 1988, pp. 1070?1080."},{"issue":"1?3","key":"CR23","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M.R. Genesereth","year":"1984","unstructured":"M.R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence 24(1?3) (1984) 411?436; also in [25].","journal-title":"Artificial Intelligence"},{"issue":"1?3","key":"CR24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. Hamscher","year":"1991","unstructured":"W. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51(1?3) (1991) 223?271; also in [25].","journal-title":"Artificial Intelligence"},{"key":"CR25","unstructured":"W. Hamscher, L. Console and J. de Kleer,Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR26","unstructured":"W. Hamscher and R. Davis, Diagnosing circuit with state: an inherently underconstrained problem,Proc. AAAI84, Austin, 1984, pp. 142?147; also in [25]."},{"issue":"4","key":"CR27","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1017\/S0269888900004872","volume":"4","author":"P. Jackson","year":"1989","unstructured":"P. Jackson, Non-monotonic formalisms and diagnosis, Knowledge Eng. Rev. 4(4) (1989) 97?117.","journal-title":"Knowledge Eng. Rev."},{"issue":"2?3","key":"CR28","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53(2?3) (1992) 255?272.","journal-title":"Artificial Intelligence"},{"key":"CR29","unstructured":"F. Lackinger and W. Nejdl, Integrating model-based monitoring and diagnosis of complex dynamic systems,Proc. 12th IJCAI, Sydney, 1991, pp. 1123?1128."},{"issue":"1?2","key":"CR30","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription: a form of non-monotonic reasoning, Artificial Intelligence 13(1?2) (1980) 27?39.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"CR31","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti?","year":"1991","unstructured":"I. Mozeti?, Hierarchical model-based diagnosis, Int. J. Man-Machine Studies 35(3) (1991) 329?362; also in [25].","journal-title":"Int. J. Man-Machine Studies"},{"key":"CR32","doi-asserted-by":"crossref","unstructured":"W. Nejdl, Belief revision, diagnosis and repair,GI-KB, M\ufffdnchen, 1991 (Springer Verlag).","DOI":"10.1007\/978-3-642-76980-1_26"},{"issue":"6","key":"CR33","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/64.108950","volume":"6","author":"H.T. Ng","year":"1991","unstructured":"H.T. Ng, Model-based, multiple fault diagnosis of dynamic, continuous physical devices, IEEE Expert 6(6) (1991) 38?43; also in [25].","journal-title":"IEEE Expert"},{"key":"CR34","series-title":"Technical Report LCS-267","volume-title":"Causal representation of patient illness for electrolyte and acid-base diagnosis","author":"R. Patil","year":"1981","unstructured":"R. Patil, Causal representation of patient illness for electrolyte and acid-base diagnosis, Technical Report LCS-267, MIT, Cambridge, MA (1981)."},{"key":"CR35","unstructured":"J. Pearl,Probabilistic Reasoning in Intelligent Systems (Morgan Kaufmann, 1989)."},{"issue":"1","key":"CR36","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole, A logical framework for default reasoning, Artificial Intelligence 36(1) (1988) 27?47.","journal-title":"Artificial Intelligence"},{"key":"CR37","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. 11th IJCAI, Detroit, 1989, pp. 1304?1310; also in [25]."},{"key":"CR38","doi-asserted-by":"crossref","unstructured":"D. Poole, R. Goebel and R. Aleliunas, THEORIST: A logical reasoning system for defaults and diagnosis, in:The Knowledge Frontier, eds. N. Cercone and G. McCalla (Springer Verlag, 1987) pp. 331?352.","DOI":"10.1007\/978-1-4612-4792-0_13"},{"issue":"1","key":"CR39","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32(1) (1987) 57?96; also in [25].","journal-title":"Artificial Intelligence"},{"key":"CR40","unstructured":"B. Selman and H. Levesque, Abductive and default reasoning: A computational core,Proc. AAAI90, Boston, 1990, pp. 343?348."},{"key":"CR41","unstructured":"P. Struss, Diagnosis as a process,Working Notes of 1st Int. Workshop on Model-based Diagnosis, Paris, 1989; also in [25]."},{"key":"CR42","unstructured":"P. Struss, Knowledge-based diagnosis: an important challenge and touchstone for AI,Proc. 10th ECAI, Vienna, 1992, pp. 863?874."},{"issue":"1?2","key":"CR43","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(78)90015-2","volume":"11","author":"S. Weiss","year":"1978","unstructured":"S. Weiss, C. Kulikowski, S. Amarel and A. Safir, A model based method for computer-aided medical decision making, Artificial Intelligence 11(1?2) (1978) 145?172.","journal-title":"Artificial Intelligence"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530734\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530734.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530734\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530734","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:51Z","timestamp":1586217711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530734"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":43,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530734"],"URL":"https:\/\/doi.org\/10.1007\/bf01530734","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}