Decomposition of tautologies into regular formulas and strong completeness of connection-graph resolution.

Wolfgang Bibel Elmar Eder

Published in: J. ACM (1997)

Keyphrases

databases
high level
data sets
artificial intelligence
high resolution
data quality
decomposition method
decomposition algorithm
learning algorithm
image sequences
computational complexity
low resolution
predicate calculus