Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799)
From MaRDI portal
scientific article; zbMATH DE number 6176053
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Reasoning with Forest Logic Programs and f-hybrid knowledge bases |
scientific article; zbMATH DE number 6176053 |
Statements
Reasoning with Forest Logic Programs and f-hybrid knowledge bases (English)
0 references
14 June 2013
0 references
forest logic programs
0 references
finite model property
0 references
f-hybrid knowledge bases
0 references
open answer sets
0 references
integration of rules and ontologies
0 references
