Model-Baded Abduction via Dual Resolution
From MaRDI portal
Publication:3411856
DOI10.1093/jigpal/jzk020zbMath1111.03013OpenAlexW2059911772MaRDI QIDQ3411856
Atocha Aliseda-Llera, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
Publication date: 30 November 2006
Published in: Logic Journal of the IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzk020
Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Logic programming (68N17)
Related Items
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction, Abduction via C-tableaux and δ-resolution