A new method for knowledge compilation: The achievement by cycle search (Q4647543)
From MaRDI portal
scientific article; zbMATH DE number 7001933
Language | Label | Description | Also known as |
---|---|---|---|
English | A new method for knowledge compilation: The achievement by cycle search |
scientific article; zbMATH DE number 7001933 |
Statements
A new method for knowledge compilation: The achievement by cycle search (English)
0 references
15 January 2019
0 references
knowledge compilation
0 references
expert systems
0 references
resolution
0 references