Completeness for cut-based abduction (Q5176673)
From MaRDI portal
scientific article; zbMATH DE number 6409419
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completeness for cut-based abduction |
scientific article; zbMATH DE number 6409419 |
Statements
Completeness for cut-based abduction (English)
0 references
27 February 2015
0 references
abduction
0 references
first-order abduction
0 references
cut-based abduction
0 references
tableaux
0 references
propositional tableaux
0 references
first-order tableaux
0 references
KE-tableaux
0 references
