{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:25:47Z","timestamp":1725470747640},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_49","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"511-514","source":"Crossref","is-referenced-by-count":0,"title":["tarfa: Tableaux and Resolution for Finite Abduction"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Soler-Toscano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1ngel","family":"Nepomuceno-Fern\u00e1ndez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"49_CR1","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1093\/jigpal\/jzk019","volume":"14","author":"A.L. Reyes-Cabello","year":"2006","unstructured":"Reyes-Cabello, A.L., Aliseda-Llera, A., Nepomuceno-Fern\u00e1ndez, A.: Abductive reasoning in first order logic. Logic Journal of the IGPL\u00a014(2), 287\u2013304 (2006)","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"49_CR2","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/jigpal\/jzk020","volume":"14","author":"F. Soler-Toscano","year":"2006","unstructured":"Soler-Toscano, F., Nepomuceno-Fern\u00e1ndez, A., Aliseda-Llera, A.: Model-based abduction via dual resolution. Logic Journal of the IGPL\u00a014(2), 305\u2013319 (2006)","journal-title":"Logic Journal of the IGPL"},{"key":"49_CR3","series-title":"Applied Logic Series","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-94-010-0550-0_9","volume-title":"Logical and Computational Aspects of Model-Based Reasoning","author":"A. Nepomuceno","year":"2002","unstructured":"Nepomuceno, A.: Scientific explanation and modified semantic tableaux. In: Magnani, L., Nerssessian, N., Pizzi, C. (eds.) Logical and Computational Aspects of Model-Based Reasoning. Applied Logic Series, pp. 181\u2013198. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1093\/jigpal\/1.1.99","volume":"1","author":"M. Cialdea Mayer","year":"1993","unstructured":"Cialdea Mayer, M., Pirri, F.: First order abduction via tableau and sequent calculi. Bulletin of the IGPL\u00a01, 99\u2013117 (1993)","journal-title":"Bulletin of the IGPL"},{"issue":"3","key":"49_CR5","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/BF00881804","volume":"15","author":"B. Beckert","year":"1995","unstructured":"Beckert, B., Posegga, J.: leanTAP: Lean tableau-based deduction. Journal of Automated Reasoning\u00a015(3), 339\u2013358 (1995)","journal-title":"Journal of Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,11]],"date-time":"2019-03-11T02:29:53Z","timestamp":1552271393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/11853886_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}