Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- theorem proving
- computer science
- reasoning tasks
- probabilistic reasoning
- theorem prover
- knowledge representation and reasoning
- automated verification
- bayesian networks
- propositional satisfiability
- prime implicants
- machine learning
- temporal reasoning
- logic programming
- probabilistic model
- expert systems
- artificial intelligence