DNA Implementation of Theorem Proving with Resolution Refutation in Propositional Logic.
In-Hee LeeJi-Yoon ParkHae-Man JangYoung-Gyu ChaiByoung-Tak ZhangPublished in: DNA (2002)
Keyphrases
- theorem proving
- propositional logic
- first order logic
- consequence finding
- proof procedure
- theorem prover
- automated reasoning
- probabilistic reasoning
- inference rules
- valued logic
- decision procedures
- knowledge representation
- predicate calculus
- automated theorem proving
- proof planning
- parallel search
- quantified boolean formulae
- geometry theorem proving
- belief revision
- description logics
- propositional satisfiability
- probabilistic model
- horn logic
- search space
- machine learning