Modular construction of logic knowledge bases: an algebraic approach.
Cristina SernadasJosé Luiz FiadeiroAmílcar SernadasPublished in: Inf. Syst. (1990)
Keyphrases
- knowledge base
- logic programming
- description logics
- knowledge based systems
- derivation rules
- possibilistic logic
- automated reasoning
- knowledge acquisition
- classical logic
- modal logic
- probabilistic logic
- nonmonotonic logics
- proof theory
- concept learning
- answer set programming
- probability theory
- multi valued
- reasoning process
- logical framework
- knowledge representation
- defeasible logic
- expert systems