Automated Reasoning with Ordinary Assertions and Default Assumptions.
Dirk Van HeuleAlbert HoogewijsPublished in: ISMVL (2001)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- decision procedures
- probabilistic reasoning
- knowledge base
- reasoning tasks
- automated verification
- knowledge representation and reasoning
- propositional satisfiability
- expert systems
- probabilistic inference
- neural network
- prime implicants