{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:47:34Z","timestamp":1749124054897,"version":"3.32.0"},"reference-count":33,"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\/bf01530747","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"297-314","source":"Crossref","is-referenced-by-count":3,"title":["Controlling the complexity in model-based diagnosis"],"prefix":"10.1007","volume":"11","author":[{"given":"Igor","family":"Mozeti\u010d","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Holzbaur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01530747_CR1","unstructured":"R.R. Bakker, P.A. Hogenhuis, N.J.I. Mars and D.C. van Soest, Diagnosis of technical systems using design descriptions,Proc. Second Generation Expert Systems, Avignon, France, 1989, pp. 107\u2013116."},{"key":"BF01530747_CR2","unstructured":"G. Boole,The Mathematical Analysis of Logic (Macmillan, 1947)."},{"key":"BF01530747_CR3","volume-title":"KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems","author":"I. Bratko","year":"1989","unstructured":"I. Bratko, I. Mozeti\u010d and N. Lavra\u010d,KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems (MIT Press, Cambridge, MA, 1989)."},{"key":"BF01530747_CR4","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/S0747-7171(87)80065-2","volume":"4","author":"W. B\u00fcttner","year":"1987","unstructured":"W. B\u00fcttner and H. Simonis, Embedding Boolean expressions into logic programming, J. Symbolic Comput. 4 (1987) 191\u2013205.","journal-title":"J. Symbolic Comput."},{"key":"BF01530747_CR5","unstructured":"T. Bylander, D. Allemang, M.C. Tanner and J.R. Josephson, Some results concerning the computational complexity of abduction,Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Toronto (Morgan Kaufmann, 1989) pp. 44\u201354."},{"key":"BF01530747_CR6","volume-title":"SICStus Prolog User's Manual","author":"M. Carlsson","year":"1991","unstructured":"M. Carlsson and J. Widen, SICStus Prolog User's Manual, Swedish Institute of Computer Science, Kista, Sweden (1991)."},{"issue":"7","key":"BF01530747_CR7","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\u201368.","journal-title":"Commun. ACM"},{"key":"BF01530747_CR8","volume-title":"SEKI Working Paper SWP-89-01","author":"B. Crone-Rawe","year":"1989","unstructured":"B. Crone-Rawe, Unification algorithms for boolean rings, SEKI Working Paper SWP-89-01, University of Kaiserslautern, Germany (1989)."},{"key":"BF01530747_CR9","unstructured":"J. de Kleer, Focusing on probable diagnoses,Proc. 9th Natl. Conf. on Artificial Intelligence, AAAI-91, Anaheim, CA (MIT Press, 1991) pp. 842\u2013848."},{"key":"BF01530747_CR10","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses,Proc. 8th Natl. Conf. on Artificial Intelligence, AAAI-90, Boston (MIT Press, 1990) pp. 324\u2013330.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"BF01530747_CR11","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\u2013130.","journal-title":"Artificial Intelligence"},{"key":"BF01530747_CR12","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes,Proc. 11th Int. Joint Conf. on Artificial Intelligence, IJCAI-89, Detroit (Morgan Kaufmann, 1989) pp. 1324\u20131330."},{"key":"BF01530747_CR13","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models,Proc. 8th Natl. Conf. on Artificial Intelligence, AAAI-90, Boston (MIT Press, 1990) pp. 331\u2013336."},{"key":"BF01530747_CR14","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Formalizing the repair process,Proc. 10th European Conf. on Artificial Intelligence, ECAI-92, Vienna (Wiley, 1992) pp. 709\u2013713."},{"key":"BF01530747_CR15","doi-asserted-by":"crossref","unstructured":"G. Friedrich and W. Nejdl, MOMO: Model-based diagnosis for everybody,Proc. 6th IEEE Conf. on AI Applications, CAIA-90, Santa Barbara, CA (IEEE Press, 1990) pp. 206\u2013213.","DOI":"10.1109\/CAIA.1990.89191"},{"key":"BF01530747_CR16","unstructured":"M. Gallanti, M. Roncato, A. Stefanini and G. Tornielli, A diagnostic algorithm based on models at different level of abstraction,Proc. 11th Int. Joint Conf. on Artificial Intelligence, IJCAI-89, Detroit (Morgan Kaufmann, 1989) pp. 1350\u20131355."},{"key":"BF01530747_CR17","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"M.R. Garey and D.S. Johnson,Computers and Intractability (Freeman, New York, 1979)."},{"key":"BF01530747_CR18","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 od design descriptions in automated diagnosis, Artificial Intelligence 24 (1984) 411\u2013436.","journal-title":"Artificial Intelligence"},{"key":"BF01530747_CR19","unstructured":"F. Giunchiglia and T. Walsh, Abstract theorem proving,Proc. 11th Int. Joint Conf. on Artificial Intelligence, IJCAI-89, Detroit, MI (Morgan Kaufmann, 1989) pp. 372\u2013377."},{"key":"BF01530747_CR20","volume-title":"Ph.D. Thesis","author":"C. Holzbaur","year":"1990","unstructured":"C. Holzbaur, Specification of constraint based inference mechanisms through extended unification, Ph.D. Thesis, Dept. of Medical Cybernetics and AI, University of Vienna, Austria (1990)."},{"key":"BF01530747_CR21","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.-L. Lassez, Constraint logic programming,Proc. 14th ACM Symp. on Principles of Programming Languages, Munich, 1987, pp. 111\u2013119.","DOI":"10.1145\/41625.41635"},{"key":"BF01530747_CR22","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd,Foundation of Logic Programming, 2nd Ed. (Springer, 1987).","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF01530747_CR23","doi-asserted-by":"crossref","unstructured":"U. Martin and T. Nipkov, Unification in boolean rings,Proc. 8th Int. Conference on Automated Deduction, 1986, pp. 506\u2013513.","DOI":"10.1007\/3-540-16780-3_115"},{"issue":"3","key":"BF01530747_CR24","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti\u010d","year":"1991","unstructured":"I. Mozeti\u010d, Hierarchical model-based diagnosis, Int. J. Man-Machine Stud. 35 (3) (1991) 329\u2013362. Also in: W.C. Hamscher, L. Console and J. de Kleer (eds.),Readings in Model-based Diagnosis (Morgan Kaufmann, San Mateo, CA, 1992) pp. 354\u2013372.","journal-title":"Int. J. Man-Machine Stud."},{"key":"BF01530747_CR25","doi-asserted-by":"crossref","unstructured":"I. Mozeti\u010d, C. Holzbaur, F. Novak and M. Santo-Zarnik, Model-based analogue circuit diagnosis with CLP(5R),Proc. 4th Int. GI Congress, Munich (Springer, 1991) pp. 343\u2013353.","DOI":"10.1007\/978-3-642-76980-1_31"},{"key":"BF01530747_CR26","first-page":"1","volume-title":"Deep Models for Medical Knowledge Engineering","author":"I. Mozeti\u010d","year":"1992","unstructured":"I. Mozeti\u010d and B. Pfahringer, Improving diagnostic efficiency in KARDIO: abstractions, constraint propagation, and model compilation, in: E. Keravnou (ed.),Deep Models for Medical Knowledge Engineering (Elsevier, Amsterdam, 1992) pp. 1\u201325."},{"issue":"3","key":"BF01530747_CR27","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/BF01239075","volume":"4","author":"F. Novak","year":"1993","unstructured":"F. Novak, I. Mozeti\u010d, M. Santo-Zarnik and A. Biasizzo, Enhancing design-for-test for active analog filters by using CLP(\u211c), Analog Integrated Circuits and Signal Processing 4(3) (1993) 215\u2013229. Also in: J. Electronic Testing 4 (1993) 315\u2013329.","journal-title":"Analog Integrated Circuits and Signal Processing"},{"key":"BF01530747_CR28","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. 11th Int. Joint Conf. on Artificial Intelligence, IJCAI-89, Detroit (Morgan Kaufmann, 1989) pp. 1304\u20131310."},{"key":"BF01530747_CR29","volume-title":"Diagnosis as a trial: the alibi principle, Report","author":"O. Raiman","year":"1989","unstructured":"O. Raiman, Diagnosis as a trial: the alibi principle, Report, IBM Scientific Center, Paris (1989)."},{"key":"BF01530747_CR30","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 (1987) 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"BF01530747_CR31","first-page":"33","volume-title":"Proc. First Int. Workshop on Principles of Diagnosis","author":"V.A. Saraswat","year":"1990","unstructured":"V.A. Saraswat, J. de Kleer and O. Raiman, Contributions to a theory of diagnosis,Proc. First Int. Workshop on Principles of Diagnosis, Stanford University, Palo Alto, 1990, pp. 33\u201338."},{"key":"BF01530747_CR32","first-page":"419","volume-title":"Readings in Model-based Diagnosis","author":"P. Strass","year":"1992","unstructured":"P. Strass, What's in SD? Towards a theory of modeling for diagnosis, in: W.C. Hamscher, L. Console and J. de Kleer (eds.),Readings in Model-based Diagnosis (Morgan Kaufmann, San Mateo, CA, 1992) pp. 419\u2013449."},{"key":"BF01530747_CR33","unstructured":"P. Struss and O. Dressler, \u201cPhysical negation\u201d \u2014 integrating fault models into the general diagnostic engine,Proc. 11th Int. Joint Conf. on Artificial Intelligence, IJCAI-89, Detroit (Morgan Kaufmann, 1989) pp. 1318\u20131323."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530747\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530747.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530747\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T19:42:50Z","timestamp":1735674170000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530747"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":33,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530747"],"URL":"https:\/\/doi.org\/10.1007\/bf01530747","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}