Keyphrases
- knowledge representation
- programming language
- reasoning systems
- learning algorithm
- reasoning process
- reasoning tasks
- programming environment
- automated reasoning
- knowledge base
- development environment
- spatial reasoning
- meta level
- computational properties
- model based reasoning
- reasoning mechanisms
- databases
- analogical reasoning