{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:21:39Z","timestamp":1725639699466},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518389"},{"type":"electronic","value":"9783642751820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75182-0_31","type":"book-chapter","created":{"date-parts":[[2011,12,5]],"date-time":"2011-12-05T23:49:27Z","timestamp":1323128967000},"page":"320-331","source":"Crossref","is-referenced-by-count":1,"title":["Model-Based Diagnosis \u2014 Progress and Problems"],"prefix":"10.1007","author":[{"given":"Peter","family":"Struss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","unstructured":"Dague, P, Dev\u00e8s, P, Raiman, O., Trouble-shooting: When Modeling is the Trouble, Proceedings AAAI-87"},{"key":"31_CR2","volume-title":"Expert Systems: Where Are We? And Where Do We Go From Here?","author":"R Davis","year":"1982","unstructured":"Davis, R., Expert Systems: Where Are We? And Where Do We Go From Here?, The AI Magazine, Spring 1982"},{"key":"31_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis, R., Diagnostic Reasoning Based on Structure and Behavior, Artificial Intelligence 24 (1\u20133), 1984","journal-title":"Artificial Intelligence"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Decker, R., Modeling the Temporal Behavior of Technical Systems, Proceedings GWAI-88","DOI":"10.1007\/978-3-642-74064-0_4"},{"key":"31_CR5","first-page":"2","volume":"28","author":"J Kleer de","year":"1986","unstructured":"de Kleer, J., An Assumption-Based TMS, Artificial Intelligence 28 (2), 1986","journal-title":"Artificial Intelligence"},{"key":"31_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","volume":"24","author":"J Kleer de","year":"1984","unstructured":"de Kleer, J. and Brown, J.S. A Qualitative Physics Based on Confluences, Artificial Intelligence 24 (1\u20133), 1984","journal-title":"Artificial Intelligence"},{"key":"31_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90061-0","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C., Diagnosing Multiple Faults, Artificial Intelligence 32 (1), 1987","journal-title":"Artificial Intelligence"},{"key":"31_CR8","unstructured":"de Kleer, J., Williams, B.C., Diagnosis with Behavioral Modes, Proceedings IJCAI-89"},{"key":"31_CR9","unstructured":"Downing K., Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation, Proceedings AAAI-87"},{"key":"31_CR10","first-page":"162","volume-title":"Begruendungsverwaltung","author":"O Dressler","year":"1987","unstructured":"Dressier, O., Assumption-Based Truth Maintenance, in: H. Stoyan (ed.): Begruendungsverwaltung, Informatik- Fachberichte 162, 1987"},{"key":"31_CR11","volume-title":"Proceedings 2nd International Workshop on Non-Monotonic Reasoning","author":"O Dressler","year":"1988","unstructured":"Dressier, O., An Extended Basic ATMS, Proceedings 2nd International Workshop on Non-Monotonic Reasoning, 1988"},{"key":"31_CR12","unstructured":"Dressler-Farquhar 89] Dressler, O., Farquhar, A., Problem Solver Control over the ATMS, Proceedings GWAI-89"},{"key":"31_CR13","volume-title":"Truth Maintenance Systeme","author":"O Dressier","year":"1989","unstructured":"Dressier, O., Freitag, H., Truth Maintenance Systeme. In: KI 2\/89, Munich, 1989"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Dressler, O., Freitag, H., Propagation of Temporally Indexed Values in Multiple Contexts, Proceedings GWAI-89","DOI":"10.1007\/978-3-642-75100-4_1"},{"key":"31_CR15","unstructured":"Dressier, O. et al., THYC - A Case Study in Model-Based Diagnosis, Siemens Tech. Report, in preparation"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Farquhar, A., Modifying Models during Diagnosis, Proceedings GWAI-89","DOI":"10.1007\/978-3-642-75100-4_44"},{"key":"31_CR17","volume-title":"ODS: A Diagnostic System Based on Qualitative Modelling Techniques","author":"M Gallanti","year":"1989","unstructured":"Gallanti, M., Stefanini, A., and L. Tomada, ODS: A Diagnostic System Based on Qualitative Modelling Techniques, Conference on Artificial Intelligence Applications, Miami, 1989"},{"key":"31_CR18","unstructured":"Guckenbiehl, T., Representing Structure and Function in the Framework of MODISC, Tech. Report FhG-IITB, Karlsruhe, in preparation"},{"key":"31_CR19","volume-title":"Fruechtenicht","author":"A Haag","year":"1988","unstructured":"Haag, A., Deriving a Model of an Electrical Transformer for Qualitative Simulation with QSIM, in: Fruechtenicht et al. (eds.), Technische Expertensysteme - Wissensrepraesentation und Schluss- folgerungsverfahren, Munich, 1988"},{"key":"31_CR20","doi-asserted-by":"crossref","DOI":"10.21236\/ADA201041","volume-title":"Model-Based Trouble-shooting of Digital Circuits","author":"W Hamscher","year":"1988","unstructured":"Hamscher, W., Model-Based Trouble-shooting of Digital Circuits, MIT-TR 1074, 1988"},{"key":"31_CR21","volume-title":"Fruechtenicht","author":"J Kippe","year":"1988","unstructured":"Kippe, J., Komponentenorientierte Repraesentation technischer Systeme, in: Fruechtenicht et al. (eds.), Technische Expertensysteme: Wissensrepraesentation und Schlussfolgerungsverfahren, Munich, 1988"},{"key":"31_CR22","volume-title":"Diagnosis as a Trial: The Alibi Principle","author":"O Raiman","year":"1989","unstructured":"Raiman, O., Diagnosis as a Trial: The Alibi Principle, IBM Scientific Center, 1989"},{"key":"31_CR23","volume-title":"Proceedings European Workshop on Logical Methods in AI","author":"M Reinfrank","year":"1988","unstructured":"Reinfrank, M., Defaults as Preferences Among Partial Worlds - Preliminary Report. Proceedings European Workshop on Logical Methods in AI, 1988"},{"key":"31_CR24","volume-title":"Technische Expertensysteme - Wissensrepraesentation und Schlussfolgerungs-verfahren","author":"L Schmid","year":"1988","unstructured":"Schmid, L., Impediments to a Qualitative Physics Based on Confluences, in: Fruechtenicht et al. (eds.), Technische Expertensysteme - Wissensrepraesentation und Schlussfolgerungs-verfahren, Munich, 1988"},{"key":"31_CR25","volume-title":"Expert Systems in Computer-Aided Design","author":"P Struss","year":"1987","unstructured":"Struss, P., Multiple Representation os Structure and Function, in: J. Gero (ed.), Expert Systems in Computer-Aided Design, Amsterdam 1987"},{"key":"31_CR26","volume-title":"Special issue on Qualitative Physics","author":"P Struss","year":"1988","unstructured":"Struss, P., Mathematical Aspects of Qualitative Reasoning, in; Special issue on Qualitative Physics, part 1, International Journal of Artificial Intelligence in Engineering 3 (3), 1988"},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Struss, P., Global Filters for Qualitative Behaviors, Proceedings AAAI-88","DOI":"10.1016\/B978-1-4832-1447-4.50021-3"},{"key":"31_CR28","volume-title":"Mathematical Aspects of Qualitative Reasoning - Part Two: Differential Equations","author":"P Struss","year":"1988","unstructured":"Struss, P., Mathematical Aspects of Qualitative Reasoning - Part Two: Differential Equations, Siemens Technical Report INF 2 ARM-7-88, Munich 1988"},{"key":"31_CR29","volume-title":"Artificial Intelligence in Engineering: Diagnosis and Learning","author":"P Struss","year":"1988","unstructured":"Struss, P., Extensions to ATMS-Based Diagnosis, in: J.S. Gero (ed.), Artificial Intelligence in Engineering: Diagnosis and Learning, Southampton, 1988"},{"key":"31_CR30","volume-title":"A Framework for Model-Based Diagnosis","author":"P Struss","year":"1988","unstructured":"Struss, P., A Framework for Model-Based Diagnosis, Siemens Technical Report INF 2 ARM-10-88, Munich, 1988"},{"key":"31_CR31","volume-title":"Weld","author":"P Struss","year":"1989","unstructured":"Struss, P., Problems of Interval-Based Qualitative Reasoning - Revised Version, in: Weld, D. and de Kleer, J. (eds.), Readings in Qualitative Reasoning about Physical Systems, San Mateo, 1989"},{"key":"31_CR32","volume-title":"Diagnosis as a Process","author":"P Struss","year":"1989","unstructured":"Struss, P., Diagnosis as a Process, Workshop on Model-Based Diagnosis, Paris, 1989"},{"key":"31_CR33","unstructured":"Struss, P., Dressier, O., \u201cPhysical Negation\u201d - Integrating Fault Models into the General Diagnostic Engine, Proceedings IJC AI-89"},{"key":"31_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(80)90032-6","volume":"14","author":"GJ Sussman","year":"1980","unstructured":"Sussman, G. J. and Steele, G. L. CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions, Artificial Intelligence 14 (1), 1980","journal-title":"Artificial Intelligence"},{"key":"31_CR35","volume-title":"Representing and Analyzing Causal, Temporal, and Hierarchical Relations of Devices","author":"H Voss","year":"1986","unstructured":"Voss, H., Representing and Analyzing Causal, Temporal, and Hierarchical Relations of Devices, Dissertation, Univ. of Kaiserslautern, 1986"},{"key":"31_CR36","doi-asserted-by":"crossref","unstructured":"Williams, B., Doing Time: Putting Qualitative Reasoning on Firmer round, Proceedings AAAL- 86","DOI":"10.1016\/B978-1-4832-1447-4.50032-8"}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75182-0_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:36:25Z","timestamp":1606253785000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75182-0_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518389","9783642751820"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75182-0_31","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}