Keyphrases
- geometry theorem proving
- theorem proving
- automated reasoning
- reasoning systems
- knowledge base
- causal reasoning
- knowledge representation
- legal reasoning
- real time
- consistency checking
- reasoning tasks
- machine learning
- resource bounded
- reasoning engine
- model based reasoning
- logical reasoning
- conflicting information
- reasoning process
- scientific discovery
- fuzzy reasoning
- everyday life
- first order logic
- wide variety
- search engine
- data mining