Compilability of propositional abduction (Q5277767)
From MaRDI portal
scientific article; zbMATH DE number 6744010
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Compilability of propositional abduction |
scientific article; zbMATH DE number 6744010 |
Statements
Compilability of propositional abduction (English)
0 references
12 July 2017
0 references
abduction
0 references
artificial intelligence
0 references
automated diagnosis
0 references
computational complexity
0 references
knowledge representation
0 references
