Automated Reasoning in Reduction Rings Using the Theorema System.
Alexander MaletzkyPublished in: CASC (2015)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- probabilistic reasoning
- theorem proving
- theorem prover
- decision procedures
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- prime implicants
- constraint satisfaction
- bayesian networks
- first order logic
- random variables
- logic programs