{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T22:04:40Z","timestamp":1743458680319},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531043"},{"type":"electronic","value":"9783540467113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53104-1_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:59:35Z","timestamp":1330207175000},"page":"16-31","source":"Crossref","is-referenced-by-count":5,"title":["An interval propagation and conflict recognition engine for diagnosing continuous dynamic systems"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Dague","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Jehl","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Taillibert","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"J. de Kleer and B.C. Williams, \u201cDiagnosing Multiple Faults,\u201d Artificial Intelligence 32, 1987.","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"2_CR2","unstructured":"P. Dague, P. Dev\u00e8s, and O. Raiman, \u201cTroubleshooting: when Modeling is the Trouble,\u201d Proceedings of AAAI Conference, Seattle, July 1987."},{"key":"2_CR3","unstructured":"J. de Kleer and B.C. Williams, \u201cDiagnosis with Behavioral Modes,\u201d Proceedings of the Eleventh IJCAI, Detroit, August 1989."},{"key":"2_CR4","unstructured":"P. Struss and O. Dressler, \u201cPhysical Negation \u2014 Integrating Fault Models into the General Diagnostic Engine,\u201d Proceedings of the Eleventh IJCAI, Detroit, August 1989."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"W. Hamscher, \u201cXDE: Diagnosing Devices with Hierarchic Structure and Known Component Failure Modes,\u201d Proceedings of the Sixth IEEE Conference on AI Applications, March 1990.","DOI":"10.1109\/CAIA.1990.89170"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"E. Davis, \u201cConstraint Propagation with Interval Labels,\u201d Artificial Intelligence 32, 1987.","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"2_CR7","unstructured":"J.S. Brown, R.R. Burton, and J. de Kleer, \u201cPedagogical, Natural Language and Knowledge Engineering Techniques in SOPHIE I, II and III,\u201d Intelligent Tutoring Systems, Academic Press, 1982."},{"key":"2_CR8","unstructured":"R. Moore, Interval Analysis Practice Hall, 1966."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J. de Kleer, \u201cAn Assumption-based TMS,\u201d Artificial Intelligence 28, 1986.","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"2_CR10","unstructured":"C. Joubel and O. Raiman, \u201cHow Time Changes Assumptions,\u201d Proceedings of the Ninth ECAI, Stockholm, August 1990."},{"key":"2_CR11","unstructured":"K. Forbus and J. de Kleer, \u201cFocusing the ATMS,\u201d Proceedings of AAAI Conference, Saint Paul, August 1988."},{"key":"2_CR12","unstructured":"O. Dressler and A. Farquhar, \u201cPutting the Problem Solver Back in the Driver's Scat: Contextual Control of the ATMS,\u201d Proceedings of AAAI90 Model-Based Reasoning Workshop, Boston, August 1990."},{"key":"2_CR13","unstructured":"B. C. Williams, \u201cDoing Time: Putting Qualitative Reasoning on Firmer Ground,\u201d Proceedings of AAAI Conference, Philadelphia, August 1986."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"W. Hamscher, \u201cTemporally Coarse Representation of Behavior for Model-based Troubleshooting of Digital Circuits,\u201d Proceedings of the Eleventh IJCAI, Detroit, August 1989.","DOI":"10.21236\/ADA201041"},{"key":"2_CR15","unstructured":"IBM publication No GH21-1000-0, IBM Prolog for 370, General Information, 1989."},{"key":"2_CR16","unstructured":"P. Dague, P. Dev\u00e8s, P. Luciani, and P. Taillibert, \u201cAnalog Systems Diagnosis,\u201d Proceedings of the Ninth ECAI, Stockholm, August 1990."},{"key":"2_CR17","unstructured":"H. Beringer and B. de Backer, \u201cPiecewise Linear Constraints under Assumptions. A new Approach to Model-Based Diagnosis,\u201d Proceedings of AAAI90 Constraint Directed Reasoning Workshop, Boston, August 1990."}],"container-title":["Lecture Notes in Computer Science","Expert Systems in Engineering Principles and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53104-1_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:33Z","timestamp":1605648393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53104-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531043","9783540467113"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-53104-1_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}