Lifting propositional proof compression algorithms to first-order logic.
Jan GorznyEzequiel PostanBruno Woltzenlogel PaleoPublished in: J. Log. Comput. (2021)
Keyphrases
- first order logic
- compression algorithm
- theorem prover
- theorem proving
- classical first order logic
- proof procedure
- propositional logic
- image compression
- expressive power
- data compression
- wavelet transform
- compression ratio
- logical rules
- bitstream
- inference rules
- probabilistic reasoning
- horn clauses
- markov networks
- knowledge representation
- inductive logic programming
- transitive closure
- probabilistic graphical models
- predicate calculus
- representation language
- quantifier elimination
- markov logic networks
- markov logic
- bit rate
- quadtree decomposition
- coding scheme
- artificial intelligence
- lossless data compression
- image quality