Keyphrases
- theoretical framework
- deductive reasoning
- plausible reasoning
- knowledge base
- knowledge representation
- proof theory
- spatial reasoning
- cognitive maps
- formal models
- general theory
- reasoning process
- data sets
- uncertain information
- domain theory
- partial order
- database query languages
- rough sets
- bayesian networks
- neural network