A Direct Proof of the Completeness of SLDNF-Resolution.

Robert F. Stärk

Published in: J. Log. Comput. (1999)

Keyphrases

automatic theorem proving
high resolution
low resolution
face recognition
theorem proving
consequence finding
real time
decision trees
image segmentation
digital libraries
theorem prover
higher resolution
conflict detection