Clause Trees: A Tool for Understanding and Implementing Resolution in Automated Reasoning.
Joseph Douglas HortonBruce SpencerPublished in: Artif. Intell. (1997)
Keyphrases
- automated reasoning
- theorem prover
- prime implicants
- reasoning systems
- decision procedures
- knowledge representation
- theorem proving
- reasoning tasks
- probabilistic reasoning
- automated verification
- knowledge representation and reasoning
- decision trees
- general purpose
- valued logic
- boolean functions
- expert systems
- propositional satisfiability
- clause learning
- bayesian networks