Keyphrases
- mathematical proofs
- automated reasoning
- reasoning tasks
- knowledge representation
- theorem prover
- probabilistic reasoning
- data sets
- computational properties
- information retrieval
- automated theorem proving
- resource bounded
- reasoning problems
- decision procedures
- reasoning systems
- knowledge base
- qualitative reasoning
- reasoning process
- formal models
- model based reasoning
- meta level
- theorem proving
- case study