{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T12:28:33Z","timestamp":1775219313826,"version":"3.50.1"},"reference-count":13,"publisher":"Informa UK Limited","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2009,1,1]]},"DOI":"10.3166\/jancl.19.211-225","type":"journal-article","created":{"date-parts":[[2009,11,12]],"date-time":"2009-11-12T15:07:30Z","timestamp":1258038450000},"page":"211-225","source":"Crossref","is-referenced-by-count":4,"title":["Abduction via<i>C<\/i>-tableaux and \u03b4-resolution"],"prefix":"10.1080","volume":"19","author":[{"given":"Fernando","family":"Soler-Toscano","sequence":"first","affiliation":[{"name":"Depto. Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1ngel","family":"Nepomuceno-Fern\u00e1ndez","sequence":"additional","affiliation":[{"name":"Depto. Filosof\u00eda, L\u00f3gica y Filosof\u00eda de la Ciencia, Universidad de Sevilla, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atocha","family":"Aliseda-Llera","sequence":"additional","affiliation":[{"name":"Instituto de Investigaciones Filos\u00f3ficas, Universidad Nacional Aut\u00f3noma de M\u00e9xico, Mexico"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","volume-title":"Seeking Explanations: Abduction in Logic","author":"Aliseda A.","year":"1997"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1007\/1-4020-3907-7","volume-title":"Abductive Reasoning: Logical Investigations into Discovery and Explanation","volume":"330","author":"Aliseda A.","year":"2006"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881838"},{"key":"CIT0004","volume-title":"Koninklijke Nederlandse Akademie van Wentenschappen, Proceedings of the Section of Sciences","author":"Beth E. W.","year":"1955"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093870624"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/1.1.99"},{"key":"CIT0007","volume-title":"Actas del I Congreso de la Sociedad de L\u00f3gica, Metodolog\u00eda y Filosof\u00eda de la Ciencia en Espa\u00f1a","author":"D\u00edaz Est\u00e9vez E.","year":"1993"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-0550-0_9"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzk019"},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1145\/321250.321253"},{"key":"CIT0011","volume-title":"Modelos Formales de Explicaci\u00f3n en L\u00f3gica e Inteligencia Artificial","author":"Soler-Toscano F.","year":"2005"},{"key":"CIT0012","volume-title":"Logics in Artificial Intelligence. 10th European Conference, JELIA 2006","author":"Soler-Toscano F.","year":"2006"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzk020"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.19.211-225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T16:00:11Z","timestamp":1710691211000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.19.211-225"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1,1]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,1,1]]}},"alternative-id":["10.3166\/jancl.19.211-225"],"URL":"https:\/\/doi.org\/10.3166\/jancl.19.211-225","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1,1]]}}}