{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:47Z","timestamp":1725664787592},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_7","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:09:18Z","timestamp":1330294158000},"page":"104-118","source":"Crossref","is-referenced-by-count":1,"title":["Design and implementation of diagnostic strategies using modal logic"],"prefix":"10.1007","author":[{"given":"Peter","family":"Fr\u00f6hlich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nejdl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schroeder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","unstructured":"C. B\u00f6ttcher and O. Dressler. Diagnosis process dynamics: Holding the diagnostic trackhound in leash. In IJCAI93, pages 1460\u20131471. Morgan Kaufmann Publishers, Inc., 1993."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"C. B\u00f6ttcher and O. Dressler. A framework for controlling model-based diagnosis systems with multiple actions. Annals of Mathematics and Artificial Intelligence, 11(1\u20134), 1994.","DOI":"10.1007\/BF01530744"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis. Diagnostic reasoning based on structure and behaviour. Artificial Intelligence, 24:347\u2013410, 1984.","journal-title":"Artificial Intelligence"},{"key":"7_CR4","unstructured":"J. de Kleer, O. Raiman, and M. Shirley. One step lookahead is pretty good. In Second International Workshop on the Principles of Diagnosis, Milano, Italy, October 1991."},{"key":"7_CR5","doi-asserted-by":"publisher","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:97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"7_CR6","first-page":"607","volume-title":"KRR94","author":"C. V. Dam\u00e1sio","year":"1994","unstructured":"C. V. Dam\u00e1sio, L. M. Pereira, and W. Nejdl. Revise: An extended logic programming system for revising knowledge bases. In KRR94, pages 607\u2013618, Bonn, Germany, 1994. Morgan Kaufmann Publishers, Inc."},{"key":"7_CR7","unstructured":"O. Dressler and P. Struss. Back to defaults: Characterizing and computing diagnoses as coherent assumption sets. In ECAI92, pages 719\u2013723, 1992."},{"key":"7_CR8","unstructured":"P. Fr\u00f6hlich, W. Nejdl, and M. Schr\u00f6der. A formal semantics for preferences and strategies in model-based diagnosis. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 106\u2013113, New Paltz, NY, 1994."},{"key":"7_CR9","doi-asserted-by":"publisher","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 of design descriptions in automated diagnosis. Artificial Intelligence, 24:411\u2013436, 1984.","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"7_CR10","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. C. Hamscher","year":"1991","unstructured":"Walter C. Hamscher. Modeling digital circuits for troubleshooting. Artificial Intelligence, 51(1\u20133):223\u2013271, October 1991.","journal-title":"Artificial Intelligence"},{"key":"7_CR11","unstructured":"The iscas-85 benchmark archive. Accessible via anonymous ftp from ftp.mcnc.org, 1985."},{"key":"7_CR12","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti\u010d","year":"1991","unstructured":"Igor Mozeti\u010d. Hierarchical model-based diagnosis. International Journal of Man-Machine Studies, 35:329\u2013362, 1991.","journal-title":"International Journal of Man-Machine Studies"},{"key":"7_CR13","unstructured":"W. Nejdl, P. Fr\u00f6hlich, and M. Schroeder. A formal framework for representing diagnosis strategies in model-based diagnosis systems. In IJCAI95, pages 1721\u20131727, 1995. Morgan Kaufmann Publishers, Inc."},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32:57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"key":"7_CR15","unstructured":"P. Struss and O. Dressler. Physical negation \u2014 Integrating fault models into the general diagnostic engine. In IJCAI89, pages 1318\u20131323, Morgan Kaufmann Publishers, Inc."},{"key":"7_CR16","unstructured":"P. Struss. Diagnosis as a process. In W. Hamscher, L. Console, and J. de Kleer, editors, Readings in Model-Based Diagnosis, pages 408\u2013418. Morgan Kaufmann Publishers, Inc., 1992."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:58Z","timestamp":1605647338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}