\(\mho\)-resolution and hybrid knowledge bases (Q5947353)
From MaRDI portal
scientific article; zbMATH DE number 1660960
Language | Label | Description | Also known as |
---|---|---|---|
English | \(\mho\)-resolution and hybrid knowledge bases |
scientific article; zbMATH DE number 1660960 |
Statements
\(\mho\)-resolution and hybrid knowledge bases (English)
0 references
16 October 2001
0 references
hybrid knowledge bases
0 references
generalized annotated logic programming
0 references