This paper investigates some relations among four complexities of sequence over countably infinite alphabet, and shows that two kinds of empirical entropies and the self-entropy r...
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core mo...
This paper presents some roughness bounds for rough set operations. The results show that a bound of the set operation can be determined from their operand's roughnesses. We ...
In this paper we introduce the Logic and Law corner of this journal. We will discuss a number of ways in which logic has been used in AI and Law, and give some of the key referenc...
In this paper we introduce some mathematical and numerical tools to analyze and interpret inhomogeneous quadratic forms. The resulting characterization is in some aspects similar ...