A Model-Based Completeness Proof of Extended Narrowing and Resolution.

Published in: IJCAR (2001)

Keyphrases

automatic theorem proving
databases
high resolution
automated theorem proving
theorem proving
low resolution
information systems
consequence finding
machine learning
face recognition
high quality
data structure
multiresolution
three dimensional
data quality
theorem prover
decision trees
higher resolution