Keyphrases
- knowledge base
- representing knowledge
- knowledge representation
- description logics
- modal logic
- truth maintenance systems
- inference engine
- knowledge based systems
- real time
- default logic
- logic programming
- expert systems
- databases
- database
- multiple views
- artificial intelligence
- autoepistemic logic
- logical representation