Conservative extension concepts for nonmonotonic knowledge bases.
Grigoris AntoniouCara MacNishPublished in: Int. J. Intell. Syst. (2000)
Keyphrases
- knowledge base
- semantic network
- logic programming
- tableau calculus
- concept descriptions
- description logics
- truth maintenance systems
- knowledge sources
- knowledge acquisition
- knowledge based systems
- knowledge representation
- background knowledge
- modal logic
- domain knowledge
- default logic
- defeasible logic
- nonmonotonic logics
- knowledge representation languages
- domain specific ontologies
- neural network