Vectorization Techniques for Theorem Proving in Propositional Logic.
Wen-Tsuen ChenMing-Yi FangPublished in: ICPP (2) (1990)
Keyphrases
- propositional logic
- theorem proving
- first order logic
- theorem prover
- inference rules
- proof procedure
- knowledge representation
- decision procedures
- automated reasoning
- probabilistic reasoning
- proof planning
- parallel search
- geometry theorem proving
- quantified boolean formulae
- consequence finding
- horn clauses
- belief change
- belief revision
- propositional formulas
- predicate calculus
- propositional satisfiability
- satisfiability testing
- search algorithm
- artificial intelligence