Keyphrases
- human reasoning
- reasoning process
- mathematical proofs
- reasoning systems
- knowledge base
- uncertain information
- computer algebra systems
- model based reasoning
- inference engine
- knowledge representation
- real world
- probabilistic reasoning
- real time
- mathematical models
- scientific discovery
- analogical reasoning
- rule based reasoning
- case study
- reasoning mechanisms
- databases