Abstract. Several Boolean satisfiability (SAT) algorithms have been generalized to the more expressive linear pseudo-Boolean (PB) language. PB models are sometimes much more compact than SAT models, a...
This paper proposes a genetic code Boolean structure derived from hydrogen bond numbers and chemical types of bases, purines and pyrimidines. It shows that in such Boolean structure, deductions compri...
Systems involving both intracellular and intercellular computation are destined to be described as non-computable. We propose a model for such systems by introducing the inconsistent relation of Boole...
We introduce a graph-theoretical approach to the study of approximation of non-Boolean functions on Boolean algebra. We show that optimal interpolations of non-Boolean functions by Boolean functions a...
Abstract
We investigate characterizations of n-argument Boolean functions in the class of functions defined on Boolean algebras and we extend our previous results centered around the approximation of...
Abstract. In this paper the role of logic as a formal basis to exploit the query evaluation process of the boolean model and of weighted boolean models is analysed. The proposed approach is based on t...
Abstract: We propose an alternative solution to the problems solved in [1]. Our aim is to advocate the efficiency of algebraic methods for the solution of the Boolean equations which occur in the deco...
Abstract
This paper concerns the classification task in discrete attribute spaces, but considers the task in a more fundamental framework: the learning of Boolean functions. The purpose of this paper...