Keyphrases
- knowledge base
- reasoning systems
- game theory
- consistency checking
- reasoning process
- automated reasoning
- knowledge representation
- default reasoning
- logical reasoning
- interactive exploration
- spatial reasoning
- probabilistic reasoning
- expert systems
- data analysis
- database
- data visualization
- graphical user interface
- uncertain information
- case study
- artificial intelligence
- analogical reasoning
- data mining
- reasoning engine
- real time