Towards automated first-order abduction: the cut-based approach
type: Item
instance of: scholarly article
title: Towards automated first-order abduction: the cut-based approach
zbMATH Open document ID: 1246.68208
author: Marcelo Finger
publication date: 2012-09-06T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6078505
zbMATH Keywords: abduction
zbMATH Keywords: first-order abduction
zbMATH Keywords: cut-based abduction
zbMATH Keywords: tableaux
zbMATH Keywords: first-order tableaux
describes a project that uses: SOLAR
MaRDI profile type: Publication
OpenAlex ID: W2059826633
Wikidata QID: Q117021977
DOI: 10.1093/JIGPAL/JZQ052
published in: Logic Journal of the IGPL
description: scientific article; zbMATH DE number 6078505