{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T04:06:56Z","timestamp":1749182816339,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1023\/a:1005948807784","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T00:10:48Z","timestamp":1040515848000},"page":"81-105","source":"Crossref","is-referenced-by-count":1,"title":["Strategies in Model-based Diagnosis"],"prefix":"10.1007","volume":"20","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","reference":[{"key":"146977_CR1","first-page":"1460","volume":"2","author":"C. B\u00f6ttcher","year":"1993","unstructured":"B\u00f6ttcher, C. and Dressler, O.: Diagnosis process dynamics: Holding the diagnostic trackhound in leash, in Proc. Int. Joint Conf. on Artificial Intelligence Vol. 2, Morgan Kaufmann Publishers, Inc., 1993, pp. 1460\u20131471.","journal-title":"Proc. Int. Joint Conf. on Artificial Intelligence"},{"key":"146977_CR2","doi-asserted-by":"crossref","unstructured":"B\u00f6ttcher, C. and Dressler, O.: A framework for controlling model-based diagnosis systems with multiple actions, Annals of Mathematics and Artificial Intelligence, Special Issue on Model-based Diagnosis\n11(1\u20134) (1994).","DOI":"10.1007\/BF01530744"},{"key":"146977_CR3","first-page":"607","volume-title":"Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning","author":"C. V. Dam\u00e1sio","year":"1944","unstructured":"Dam\u00e1sio, C. V., Pereira, L. M. and Nejdl, W.: Revise: An extended logic programming system for revising knowledge bases, in Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, Inc., Bonn, Germany, 1944, pp. 607\u2013618."},{"key":"146977_CR4","unstructured":"Dam\u00e1sio, C. V., Nejdl, W., Pereira, L. and Schroeder, M.: Model-based diagnosis preferences and strategies representation with meta logic programming, in K. R. Apt and F. Turini (eds), Meta-logics and Logic Programming, Chap. 11, The MIT Press, 1995, pp. 269\u2013311."},{"key":"146977_CR5","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behaviour, Artificial Intelligence\n24 (1984), 347\u2013410.","journal-title":"Artificial Intelligence"},{"key":"146977_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. de Kleer","year":"1987","unstructured":"de Kleer, J. and Williams, B. C.: Diagnosing multiple faults, Artificial Intelligence\n32 (1987), 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"146977_CR7","unstructured":"de Kleer, J., Raiman, O. and Shirley, M.: One step lookahead is pretty good, in Second International Workshop on the Principles of Diagnosis, Milano, Italy, 1991."},{"key":"146977_CR8","unstructured":"Dressler, O. and Struss, P.: Back to defaults: Characterizing and computing diagnoses as coherent assumption sets, in Proceedings of the 10th European Conference on Artificial Intelligence, 1992, pp. 719\u2013723."},{"key":"146977_CR9","volume-title":"Handbook of Theoretical Computer Science","author":"E. A. Emerson","year":"1990","unstructured":"Emerson, E. Allen: Temporal and modal logic, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science Vol. B, Chap. 16, Elsevier, Amsterdam, New York, 1990."},{"key":"146977_CR10","doi-asserted-by":"crossref","unstructured":"Fari\u00f1as del Cerro, L. and Herzig, A.: Modal deduction with applications in epistemic and temporal logics, in C. J. Hogger, Dov M. Gabbay and J. A. Robinson (eds), The Handbook of Logic in Artificial Intelligence and Logic Programming Vol. 4, Oxford Science Publications, 1995, pp. 499\u2013594.","DOI":"10.1093\/oso\/9780198537915.003.0008"},{"key":"146977_CR11","first-page":"106","volume-title":"5th International Workshop on Principles of Diagnosis (DX-94)","author":"P. Fr\u00f6hlich","year":"1994","unstructured":"Fr\u00f6hlich, P., Nejdl, W. and Schroeder, M.: A formal semantics for preferences and strategies in model-based diagnosis, in 5th International Workshop on Principles of Diagnosis (DX-94), New Paltz, NY, 1994, pp. 106\u2013113."},{"key":"146977_CR12","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M. R. Genesereth","year":"1984","unstructured":"Genesereth, M. R.: The use of design descriptions in automated diagnosis, Artificial Intelligence\n24 (1984), 411\u2013436.","journal-title":"Artificial Intelligence"},{"issue":"1\u20133","key":"146977_CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. C. Hamscher","year":"1991","unstructured":"Hamscher, W. C.: Modeling digital circuits for troubleshooting, Artificial Intelligence\n51(1\u20133) (1991), 223\u2013271.","journal-title":"Artificial Intelligence"},{"key":"146977_CR14","unstructured":"The ISCAS-85 Benchmarks, http:\/\/www.cbl.ncsu.edu\/www\/ CBL Docs\/iscas85.html, 1985."},{"key":"146977_CR15","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti\u010d","year":"1991","unstructured":"Mozeti\u010d, I.: Hierarchical model-based diagnosis, International Journal of Man-Machine Studies\n35 (1991), 329\u2013362.","journal-title":"International Journal of Man-Machine Studies"},{"key":"146977_CR16","first-page":"1721","volume-title":"Proc. 14th International Joint Conference on Artificial Intelligence","author":"W. Nejdl","year":"1995","unstructured":"Nejdl, W., Fr\u00f6hlich, P. and Schroeder, M.: A formal framework for representing diagnosis strategies in model\u2013based diagnosis systems, in Proc. 14th International Joint Conference on Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Montreal, Canada, 1995, pp. 1721\u20131727."},{"key":"146977_CR17","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles, Artificial Intelligence\n32 (1987), 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"146977_CR18","unstructured":"Struss, P.: Diagnosis as a process, in W. Hamscher, L. Console, and J. de Kleer (eds), Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, Inc., 1992, pp. 408\u2013418."},{"key":"146977_CR19","first-page":"1318","volume-title":"Proc. Int. Joint Conf. on Artificial Intelligence","author":"P. Struss","year":"1989","unstructured":"Struss, P. and Dressler, O.: Physical negation \u2013 Integrating fault models into the general diagnostic engine, in Proc. Int. Joint Conf. on Artificial Intelligence, Morgan Kaufmann Publishers, Inc., Detroit, 1989, pp. 1318\u20131323."}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005948807784.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005948807784\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005948807784.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:44:30Z","timestamp":1749123870000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005948807784"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["146977"],"URL":"https:\/\/doi.org\/10.1023\/a:1005948807784","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}