Vectorization of a Generalized Procedure for Theorem Proving in Propositional Logic on Vector Computers.
Ming-Yi FangWen-Tsuen ChenPublished in: IEEE Trans. Knowl. Data Eng. (1992)
Keyphrases
- proof procedure
- propositional logic
- theorem proving
- first order logic
- davis putnam
- belief revision
- theorem prover
- automated reasoning
- decision procedures
- inference rules
- propositional satisfiability
- parallel search
- term rewriting
- probabilistic reasoning
- quantified boolean formulae
- proof planning
- geometry theorem proving
- predicate calculus
- knowledge representation
- probability distribution
- data mining