{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:19:29Z","timestamp":1760170769682},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581079"},{"type":"electronic","value":"9783540484530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58107-3_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:14:06Z","timestamp":1330269246000},"page":"98-112","source":"Crossref","is-referenced-by-count":9,"title":["Abductive reasoning with abstraction axioms"],"prefix":"10.1007","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupr\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"6_CR1","first-page":"80","volume":"6","author":"R. Brachman","year":"1985","unstructured":"R. Brachman. \u201cI lied about the trees\u201d or defaults and definitions in knowledge representation. AI Magazine, 6:80\u201393, 1985.","journal-title":"AI Magazine"},{"issue":"3","key":"6_CR2","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0004-3702(88)90063-X","volume":"34","author":"E. Charniak","year":"1988","unstructured":"E. Charniak. Motivation analysis, abductive unification and nonmonotonic equality. Artificial Intelligence, 34(3):275\u2013295, 1988.","journal-title":"Artificial Intelligence"},{"issue":"6","key":"6_CR3","doi-asserted-by":"crossref","first-page":"617","DOI":"10.1002\/int.4550060603","volume":"6","author":"B. Chu","year":"1991","unstructured":"B. Chu and J. Reggia. Modeling diagnosis at multiple levels of abstraction I: Representing causal relations at multiple levels of abstraction. International Journal of Intelligent Systems, 6(6):617\u2013644, 1991.","journal-title":"International Journal of Intelligent Systems"},{"issue":"6","key":"6_CR4","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1002\/int.4550060604","volume":"6","author":"B. Chu","year":"1991","unstructured":"B. Chu and J. Reggia. Modeling diagnosis at multiple levels of abstraction II: Diagnostic reasoning at multiple levels of abstraction. International Journal of Intelligent Systems, 6(6):645\u2013671, 1991.","journal-title":"International Journal of Intelligent Systems"},{"issue":"2\/3","key":"6_CR5","doi-asserted-by":"crossref","first-page":"88","DOI":"10.3233\/AIC-1991-42-3006","volume":"4","author":"L. Console","year":"1991","unstructured":"L. Console, L. Portinale, and D. Theseider Dupr\u00e9. Focusing abductive diagnosis. AI Communications, 4(2\/3):88\u201397, 1991.","journal-title":"AI Communications"},{"key":"6_CR6","unstructured":"L. Console, D. Theseider Dupr\u00e9, and P. Torasso. A theory of diagnosis for incomplete causal models. In Proc. 11th IJCAI, pages 1311\u20131317, Detroit, 1989."},{"issue":"5","key":"6_CR7","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupr\u00e9, and P. Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"6_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso. A spectrum of logical definitions of model-based diagnosis. Computational Intelligence, 7(3):133\u2013141, 1991. Also in [12].","journal-title":"Computational Intelligence"},{"key":"6_CR9","unstructured":"G. Friedrich. Theory diagnoses: A concise characterization of faulty systems. In Proc. 13th IJCAI, Chambery, 1993."},{"issue":"1\u20133","key":"6_CR10","doi-asserted-by":"crossref","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(1\u20133):411\u2013436, 1984. Also in [12].","journal-title":"Artificial Intelligence"},{"key":"6_CR11","unstructured":"F. Giunchiglia and T. Walsh. Abstract theorem proving. In Proc. 11th IJCAI, pages 372\u2013377, Detroit, 1989."},{"key":"6_CR12","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"J.R. Hobbs, M. Stickel, P. Martin, and D. Edwards. Interpretation as abduction. In Proc. 86th Annual ACL Meeting, pages 95\u2013103, Buffalo, 1988.","DOI":"10.3115\/982023.982035"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"H. Kautz. A formal theory of plan recognition and its implementation. In J. Allen, H. Kautz, R. Pelavin and J. Tenenberg, Reasoning about Plans, Morgan Kaufmann, 1991.","DOI":"10.1016\/B978-1-55860-137-6.50008-X"},{"issue":"3","key":"6_CR15","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozetic","year":"1991","unstructured":"I. Mozetic. Hierarchical model-based diagnosis. Int. J. of Man-Machine Studies, 35(3):329\u2013362, 1991. Also in [12].","journal-title":"Int. J. of Man-Machine Studies"},{"key":"6_CR16","volume-title":"Technical Report LCS-267","author":"R. Patil","year":"1981","unstructured":"R. Patil. Causal representation of patient illness for electrolyte and acid-base diagnosis. Technical Report LCS-267, MIT, Cambridge, MA, 1981."},{"issue":"1","key":"6_CR17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"D. Poole. Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence, 5(1):97\u2013110, 1989.","journal-title":"Computational Intelligence"},{"issue":"5","key":"6_CR18","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"D. Poole. A methodology for using a default and abductive reasoning system. International Journal of Intelligent Systems, 5(5):521\u2013548, 1990.","journal-title":"International Journal of Intelligent Systems"},{"issue":"2\/3","key":"6_CR19","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1080\/08839518908949927","volume":"3","author":"O. Senyk","year":"1989","unstructured":"O. Senyk, R. Patil, and F. Sonnenberg. Systematic knowledge base design for medical diagnosis. Applied Artificial intelligence, 3(2\/3):249\u2013274, 1989.","journal-title":"Applied Artificial intelligence"}],"container-title":["Lecture Notes in Computer Science","Foundations of Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58107-3_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:10Z","timestamp":1619572270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58107-3_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581079","9783540484530"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-58107-3_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}