Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799): Difference between revisions
From MaRDI portal
Latest revision as of 09:37, 30 July 2024
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
0 references
0 references