Keyphrases
- knowledge representation
- knowledge base
- model based reasoning
- belief change
- reasoning systems
- real time
- automated reasoning
- reasoning process
- graphical representation
- logical reasoning
- resource bounded
- logical framework
- probabilistic logic
- reasoning tasks
- spatial reasoning
- meta level
- case based reasoning
- learning environment
- machine learning