Keyphrases
- modal logic
- temporal logic
- decision procedures
- prior knowledge
- situation calculus
- knowledge base
- default logic
- inference rules
- knowledge acquisition
- explanation based generalization
- modal operators
- domain knowledge
- relational databases
- background knowledge
- knowledge based systems
- data mining techniques
- knowledge management
- expert systems
- artificial intelligence