Keyphrases
- knowledge base
- model based reasoning
- knowledge representation
- spatial reasoning
- reasoning process
- analogical reasoning
- qualitative reasoning
- reasoning tasks
- formal models
- computational properties
- reasoning systems
- deductive reasoning
- resource bounded
- reasoning mechanism
- proof theory
- microstrip antenna
- fuzzy description logics
- databases
- knowledge processing
- knowledge representation and reasoning
- logical framework
- past experience
- model based diagnosis
- real world