The ability to find short representations, i.e. compress data, is crucial for many intelligent systems. We present a theory of incremental compression showing that arbitrary data strings, can be described by set features, compressed searching those features incrementally, which results in partition the information content string into complete pairwise independent pieces. description length this...

Theory reasoning is an important technique for increasing the eeciency of automated deduction systems. In this paper we present incremental theory reasoning, a method that improves the interaction between the foreground reasoner and the background (theory) reasoner and, thus, the eeciency of the combined system. The use of incremental theory reasoning in free variable semantic tableaux and the ...

Theory reasoning is an important technique for increasing the eeciency of automated deduction systems. In this paper we present incremental theory reasoning, a method that improves the interaction between the foreground reasoner and the background (theory) reasoner and, thus, the eeciency of the combined system. The use of incremental theory reasoning in free variable semantic tableaux and the ...