Towards automated first-order abduction: the cut-based approach

DOI10.1093/JIGPAL/JZQ052zbMath1246.68208OpenAlexW2059826633WikidataQ117021977 ScholiaQ117021977MaRDI QIDQ2909831

Marcelo Finger

Publication date: 6 September 2012

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2bec644e097b98de4ab7cc20973f10a8d96b9742

zbMATH Keywords

tableauxabductioncut-based abductionfirst-order abductionfirst-order tableaux

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Uses Software

• Unnamed Item

This page was built for publication: Towards automated first-order abduction: the cut-based approach