Keyphrases
- machine learning
- knowledge representation and reasoning
- reasoning systems
- knowledge base
- formal models
- consistency checking
- spatial reasoning
- qualitative reasoning
- conflicting information
- resource bounded
- analogical reasoning
- causal reasoning
- fuzzy reasoning
- automated reasoning
- database
- graphical representation
- inference engine
- evolutionary algorithm
- artificial intelligence
- information retrieval
- neural network