The Logical Compilation of Knowledge Bases.
Philippe MathieuJean-Paul DelahayePublished in: JELIA (1990)
Keyphrases
- knowledge base
- inconsistent knowledge
- description logics
- representing knowledge
- knowledge acquisition
- expert systems
- logic programming
- semantic network
- inference engine
- logical properties
- predicate calculus
- formal representation
- knowledge based systems
- information systems
- knowledge compilation
- reasoning process
- real time
- logical formulas
- knowledge representation
- logical reasoning