Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem prover
- theorem proving
- probabilistic reasoning
- automated verification
- reasoning tasks
- normal form
- decision procedures
- machine learning
- computational complexity
- special case
- probability distribution
- object oriented
- knowledge representation and reasoning