Sign in

Multi-resolution on compressed sets of clauses.

Philippe ChatalicLaurent 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