{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T12:42:44Z","timestamp":1743511364054},"reference-count":31,"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\/bf01530755","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"439-492","source":"Crossref","is-referenced-by-count":10,"title":["Model-based diagnosis of analog electronic circuits"],"prefix":"10.1007","volume":"11","author":[{"given":"Philippe","family":"Dague","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"P. Dague, P. Dev\ufffds and O. Raiman, Troubleshooting: when modeling is the trouble,Proc. AAAI Conf., Seattle, 1987."},{"key":"CR2","unstructured":"P. Dague, P. Dev\ufffds, P. Luciani and P. Taillibert, Analog systems diagnosis,Proc. 9th ECAI, Stockholm, 1990."},{"key":"CR3","unstructured":"P. Dague, P. Dev\ufffds, O. Jehl, P. Luciani and P. Taillibert, When oscillators stop oscillating,Proc. 12th IJCAI, Sydney, 1991."},{"key":"CR4","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":"CR5","doi-asserted-by":"crossref","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987).","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"CR6","unstructured":"G. Loveday,Electronic Testing and Fault Diagnosis, 2nd Ed. (Longman Scientific and Technical, 1989)."},{"key":"CR7","unstructured":"R.-W. Liu,Selected Papers on Analog Fault Diagnosis, Advances in Circuits and Systems (IEEE Press, 1987)."},{"key":"CR8","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes,Proc. 11th IJCAI, Detroit, 1989."},{"key":"CR9","unstructured":"P. Struss and O. Dressler, Physical negation ? Integrating fault models into the general diagnostic engine,Proc. 11th IJCAI, Detroit, 1989."},{"key":"CR10","unstructured":"W. Hamscher, XDE: Diagnosing devices with hierarchic structure and known component failure modes,Proc. 6th IEEE Conf. on AI Applications, Santa Barbara, 1990."},{"key":"CR11","unstructured":"J.S. Brown, R.R. Burton and J. de Kleer, Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III, in: D. Sleeman and J.S. Brown (eds.),Intelligent Tutoring Systems (Academic Press, 1982)."},{"key":"CR12","unstructured":"J. de Kleer and J.S. Brown, Model-based diagnosis in SOPHIE III, in: W. Hamscher, L. Console and J. de Kleer (eds.),Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"1761","DOI":"10.1109\/JRPROC.1954.274797","volume":"42","author":"J. Ebers","year":"1954","unstructured":"J. Ebers and J. Moll, Large signal behavior of junction transistors,Proc. IRE, Vol. 42, 1954, pp. 1761?1772.","journal-title":"Proc. IRE"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"J. de Kleer, How circuits work, Artificial Intelligence 24 (1984).","DOI":"10.1016\/0004-3702(84)90040-7"},{"key":"CR15","unstructured":"O. Raiman, Order of magnitude reasoning,Proc. AAAI Conf., Philadelphia, 1986."},{"key":"CR16","unstructured":"P. Dague, Order of magnitude revisited,2nd Int. Workshop on Qualitative Physics, Paris, 1988."},{"key":"CR17","unstructured":"P. Dague, Symbolic reasoning with relative orders of magnitude,Proc. 13th IJCAI, Chamb\ufffdry, 1993."},{"key":"CR18","unstructured":"P. Dague, Numeric reasoning with relative orders of magnitude,Proc. AAAI Conf., Washington, 1993."},{"key":"CR19","unstructured":"A.L. Brown, Qualitative knowledge, causal reasoning, and the localization of failures, Technical Report TR-362, Artificial Intelligence Laboratory, MIT (1976)."},{"key":"CR20","unstructured":"K. Sierzega and R. Rastogi, Model-based reasoning finds Analog PCB faults, Electronics Test (March 1990) pp. 26?30."},{"key":"CR21","unstructured":"B.C. Williams, Doing time: Putting qualitative reasoning on firmer ground,Proc. AAAI Conf., Philadelphia, 1986."},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"W. Hamscher, Temporally coarse representation of behavior for model-based troubleshooting of digital circuits,Proc. 11th IJCAI, Detroit, 1989.","DOI":"10.21236\/ADA201041"},{"key":"CR23","unstructured":"Y. Pan, Qualitative reasoning with deep-level mechanism models for diagnoses of mechanism failures,Proc. 1st IEEE Conf. on AI Applications, Denver, 1984."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"H.T. Ng, Model-based, multiple fault diagnosis of time varying, continuous physical devices,Proc. 6th IEEE Conf. on AI Applications, Santa Barbara, 1990.","DOI":"10.1109\/CAIA.1990.89165"},{"key":"CR25","volume-title":"Tools for Artificial Intelligence","author":"H. Beringer","year":"1990","unstructured":"H. Beringer and B. de Backer, Diagnosing systems modeled with piecewise linear constraints,Tools for Artificial Intelligence (IEEE, Washington, 1990)."},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"J. de Kleer, An assumption-based TMS, Artificial Intelligence 28 (1986).","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"E. Davis, Constraint propagation with interval labels, Artificial Intelligence 32 (1987).","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"CR28","unstructured":"R. Moore,Interval Analysis, Series in Automatic Computation (Prentice-Hall, 1966)."},{"key":"CR29","volume-title":"Lecture Notes in Artificial Intelligence, Vol. 462","author":"P. Dague","year":"1990","unstructured":"P. Dague, O. Jehl and P. Taillibert, An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems,Lecture Notes in Artificial Intelligence, Vol. 462 (Springer, Vienna, 1990)."},{"key":"CR30","unstructured":"O. Raiman, Diagnosis as a trial: The alibi principle,Working Notes of the International Workshop on Model-Based Diagnosis, Paris, 1989."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"P. Dev\ufffds, C. Fischer and P. Taillibert, An alternative to expert systems for electrical diagnosis,Future Generation Computer Systems, Vol. 7 (1991).","DOI":"10.1016\/0167-739X(92)90050-L"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530755\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530755.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530755\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:54Z","timestamp":1586217714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530755"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":31,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530755"],"URL":"https:\/\/doi.org\/10.1007\/bf01530755","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}