The Justification of Logical Theories based on Data Compression.
Ashwin SrinivasanStephen MuggletonMichael BainPublished in: Machine Intelligence 13 (1992)
Keyphrases
- data compression
- logical theories
- situation calculus
- inductive logic programming
- data reduction
- uncertain databases
- belief revision
- propositional logic
- compression algorithm
- compression ratio
- compression scheme
- conceptual structures
- uncertain data
- compressed data
- wavelet compression
- lossless data compression
- formal semantics