Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- theorem prover
- probabilistic reasoning
- reasoning tasks
- decision procedures
- automated verification
- logical implication
- knowledge representation and reasoning
- machine learning
- propositional satisfiability
- search algorithm
- probabilistic model
- general purpose