Keyphrases
- reasoning systems
- knowledge representation
- reasoning tasks
- reasoning process
- meta level
- spatial reasoning
- graphical representation
- automated reasoning
- uml class diagrams
- diagrammatic reasoning
- computational properties
- qualitative reasoning
- knowledge base
- artificial intelligence
- knowledge representation and reasoning
- rule based reasoning
- proof theory
- information retrieval