An assumption-based truth maintenance system dealing with non-ground justifications (Q4880539)
From MaRDI portal
scientific article; zbMATH DE number 885363
Language | Label | Description | Also known as |
---|---|---|---|
English | An assumption-based truth maintenance system dealing with non-ground justifications |
scientific article; zbMATH DE number 885363 |
Statements
An assumption-based truth maintenance system dealing with non-ground justifications (English)
0 references
9 June 1996
0 references
assumption-based truth maintenance system
0 references
abductive reasoning
0 references