We introduce a new construction for the balancing of non-binary sequences that make use of Gray codes for prefix coding. Our construction provides full encoding and decoding of sequences, including the prefix. This construction is based on a generalization of Knuth’s parallel balancing approach, which can handle very long information sequences. However, the overall sequence—composed of the info...

In this paper we define the notion of causal chains. Causal chains are a particular kind of sequential patterns that reflect causality relations according to background knowledge. We also present an algorithm for mining causal chains from a collection of action traces. We run this algorithm on a realworld domain and observe that causal chains can be computed efficiently by quickly identifying i...

Article history: Received 13 January 2015 Received in revised form 3 March 2016 Accepted 7 March 2016 Available online xxxx

Classification rule generators that have the potential to include negated features in their antecedents are generally acknowledged to generate rules that have greater discriminating power than rules without negation. This can be achieved by including the negation of all features as part of the input. However, this is only viable if the number of features is relatively small. There are many appl...

Sequential dynamical systems have the property, that the updates of states of individual cells occur sequentially, so that the global update of the system depends on the order of the individual updates. This order is given by an order on the set of vertices of the dependency graph. It turns out that only a partial suborder is necessary to describe the global update. This paper defines and studi...

The automatic modelling tool Conjure generates CSP models from problem specifications. The generated models may contain multiple alternative (redundant) representations of the same variable. However, the combined models generated by Conjure do not include the channelling constraints needed to maintain the consistency between the alternative representations. In this paper we show that by using o...