Multi-resolution on compressed sets of clauses.

Philippe Chatalic Laurent Simon

Published in: ICTAI (2000)

Keyphrases

multiresolution
horn clauses
propositional formulas
data structure
hierarchical representation
wavelet transform
coarse to fine
machine learning
artificial intelligence
data compression
definite clause