Keyphrases
- theorem proving
- decision procedures
- compression algorithm
- data compression
- image compression
- compression scheme
- defeasible logic
- compression ratio
- theorem prover
- inductive logic programming
- first order logic
- constraint propagation
- automated reasoning
- temporal resolution
- linear logic
- compressed data
- data sets
- text compression
- knowledge compilation
- lossy compression
- horn clauses
- multiresolution
- computational complexity
- high quality