The Completeness of Propositional Resolution: A Simple and Constructive Proof.

Jean H. Gallier

Published in: Log. Methods Comput. Sci. (2006)

Keyphrases

propositional logic
database
first order logic
highly reliable
real world
machine learning
artificial intelligence
clustering algorithm
multiscale
lower bound
high resolution
logic programs
belief revision
theorem prover