Towards Abductive Reasoning in First-order Logic
From MaRDI portal
Publication:3411854
DOI10.1093/jigpal/jzk019zbMath1108.03013MaRDI QIDQ3411854
No author found.
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/jzk019