The generation of abductive explanations from inconsistent theories
From MaRDI portal
Publication:2909835
DOI10.1093/jigpal/jzq056zbMath1256.03031OpenAlexW2055430578MaRDI QIDQ2909835
Publication date: 6 September 2012
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzq056
paraconsistencyabductionadaptive logicsbackward reasoninggoal-directed proof procedureproof heuristics