The generation of abductive explanations from inconsistent theories

From MaRDI portal

Publication:2909835

Jump to:navigation, search

DOI10.1093/jigpal/jzq056zbMath1256.03031OpenAlexW2055430578MaRDI QIDQ2909835

Dagmar Provijn

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

zbMATH Keywords

paraconsistency abduction adaptive logics backward reasoning goal-directed proof procedure proof heuristics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Paraconsistent logics (03B53)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2909835&oldid=15882966"