{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:43Z","timestamp":1725456283857},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629207"},{"type":"electronic","value":"9783540690467"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027406","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:34:36Z","timestamp":1132641276000},"page":"76-90","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Tableaux for diagnosis applications"],"prefix":"10.1007","author":[{"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[]},{"given":"Peter","family":"Fr\u00f6hlich","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Nejdl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"P. Baumgartner, U. Furbach, and I. Niemel\u00e4. Hyper Tableaux. In JELIA 96. European Workshop on Logic in AI, Springer, LNCS, 1996.","DOI":"10.1007\/3-540-61630-6_1"},{"issue":"3","key":"6_CR2","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"Luca Console and Pietro Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991.","journal-title":"Computational Intelligence"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00881886","volume":"12","author":"T. S. Chou","year":"1994","unstructured":"T. S-C. Chou and M. Winslett. A model-based belief revision system. Journal of Automated Reasoning, 12:157\u2013208, 1994.","journal-title":"Journal of Automated Reasoning"},{"key":"6_CR4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"Johan de Kleer and Brian C. Williams. Diagnosing multiple faults. Artificial Intelligence, 32:97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"6_CR5","unstructured":"Peter Fr\u00f6hlich and Wolfgang Nejdl. A model-based reasoning approach to circumscription. In Proceedings of the 12th European Conference on Artificial Intelligence, 1996."},{"key":"6_CR6","unstructured":"The ISCAS-85 Benchmarks. http:\/\/www.cbl.ncsu.edu\/ www\/CBL_Docs\/iscas85.html, 1985."},{"key":"6_CR7","unstructured":"R. Manthey and F. Bry. SATCHMO: a theorem prover implemented in Prolog. In Proc. 9th CADE. Argonnee, Illinois, Springer LNCS, 1988."},{"key":"6_CR8","unstructured":"Wolfgang Nejdl and Peter Fr\u00f6hlich. Minimal model semantics for diagnosis \u2014 techniques and first benchmarks. In Seventh International Workshop on Principles of Diagnosis, Val Morin, Canada, October 1996."},{"key":"6_CR9","unstructured":"Wolfgang Nejdl and Brigitte Giefer. DRUM:Reasoning without conflicts and justifications. In 5th International Workshop on Principles of Diagnosis (DX-94), pages 226\u2013233, October 1994."},{"key":"6_CR10","unstructured":"Olivier Raiman, Johan de Kleer, and Vijay Saraswat. Critical reasoning. In Proceedings of the International Joint Conference on Artificial Intelligence, pages 18\u201323, Chambery, August 1993."},{"key":"6_CR11","doi-asserted-by":"crossref","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":"6_CR12","first-page":"227","volume":"1","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. Automated deduction with hyper-resolution. Internat. J. Comput. Math., 1:227\u2013234, 1965.","journal-title":"Internat. J. Comput. Math."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:09:41Z","timestamp":1558271381000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629207","9783540690467"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0027406","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"17 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}