On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.

Patrick Cégielski Denis Richard

Published in: Theor. Comput. Sci. (1999)

Keyphrases

decoding process
theory revision
higher order
fractal encoding
first order logic
theoretical framework
fractal image compression
low density parity check
knowledge base
image sequences
knowledge representation
variable length
horn clauses
encoding scheme
causal reasoning
action theories