Keyphrases
- computer algebra
- automated reasoning
- theorem prover
- theorem proving
- reasoning systems
- decision procedures
- inference rules
- first order logic
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- knowledge representation
- probabilistic reasoning
- computer algebra systems
- data mining
- modal logic
- artificial neural networks
- lower bound
- machine learning