{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T00:52:41Z","timestamp":1648515161229},"reference-count":15,"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\/bf01530735","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"11-32","source":"Crossref","is-referenced-by-count":4,"title":["A preliminary specification methodology for model-based diagnosis"],"prefix":"10.1007","volume":"11","author":[{"given":"R. R.","family":"Leitch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. J.","family":"Chantler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Q.","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. M.","family":"Coghill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"L. Console and P. Torasso, Hypothetical reasoning in casual models, Int. J. Intelligent Syst. (1990) 83?124.","DOI":"10.1002\/int.1990.5.1.83"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"J. de Kleer, An assumption-based TMS, Artificial Intelligence (1986) 127?162.","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence (1987) 97?130.","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"CR4","first-page":"1324","volume":"2","author":"J. Kleer de","year":"1989","unstructured":"J. de Kleer and B.C. Williams, Diagnosing with behavioural modes,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Vol. 2 (1989) 1324?1330.","journal-title":"Proc. 11th Int. Joint Conf. on Artificial Intelligence"},{"key":"CR5","first-page":"1338","volume":"2","author":"D. Dvorak","year":"1989","unstructured":"D. Dvorak and B. Kuipers, Model-based monitoring of dynamic systems,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Vol. 2 (1989) pp. 1338?1343.","journal-title":"Proc. 11th Int. Joint Conf. on Artificial Intelligence"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"B.J. Kuipers, Qualitative simulation, Artificial Intelligence (1986) 289?338.","DOI":"10.1016\/0004-3702(86)90073-1"},{"key":"CR7","unstructured":"Y. Landau,Adaptive Control: The Model Reference Approach (Marcel Dekker, 1979)."},{"key":"CR8","unstructured":"R.R. Leitch, H. Freitag, Q. Shen, P. Struss and G. Tornielli, ARTIST: A methodological approach to specifying model based diagnostic systems, in: G. Guida and A. Stefanini (eds.),Industrial Applications of Knowledge Based Diagnosis (1992)."},{"key":"CR9","unstructured":"R.R. Leitch and Q. Shen, Finding faults with model based diagnosis,Proc. 2nd Int. Workshop on Principles of Diagnosis, Milan, 1991, pp. 121?134."},{"key":"CR10","unstructured":"R. Patton, P. Frank and R. Clark (eds.),Fault Diagnosis in Dynamic Systems: Theory and Applications (Prentice Hall, 1989)."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence (1987) 57?95.","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CR12","first-page":"1000","volume":"2","author":"Q. Shen","year":"1991","unstructured":"Q. Shen and R.R. Leitch, Diagnosing continuous dynamic systems using qualitative simulation,Proc. 3rd Int. Conf. on Control, Vol. 2 (1991) 1000?1006.","journal-title":"Proc. 3rd Int. Conf. on Control"},{"key":"CR13","unstructured":"Q. Shen and R.R. Leitch, Application studies of fuzzy qualitative simulation, in: P. Borne and S.G. Tzafestas (eds.),Mathematics of the Analysis and Design of Process Control (Elsevier, 1992)."},{"key":"CR14","first-page":"1318","volume":"2","author":"P. Struss","year":"1989","unstructured":"P. Struss and O. Dressler, Physical negation ? Integrating fault models into general diagnostic engine,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Vol. 2 (1989) pp. 1318?1323.","journal-title":"Proc. 11th Int. Joint Conf. on Artificial Intelligence"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"G.J. Sussman and G.L. Steele, Constraints ? A language for expressing almost hierarchical descriptions, Artificial Intelligence (1980) 1?39.","DOI":"10.1016\/0004-3702(80)90032-6"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530735\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530735.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530735\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:41Z","timestamp":1586217701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":15,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530735"],"URL":"https:\/\/doi.org\/10.1007\/bf01530735","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}