We study domain filtering algorithms for open constraints, i.e., constraints that are not a priori defined on specific sets of variables. We present an efficient filtering algorithm, achieving set-domain consistency, for open global cardinality constraints. We extend this result to conjunctions of them, in case they are defined on disjoint sets of variables. We also analyze the case when the se...

We introduce a novel framework, called BLOSOM, for mining (frequent) boolean expressions over binary-valued datasets. We organize the space of boolean expressions into four categories: pure conjunctions, pure disjunctions, conjunction of disjunctions, and disjunction of conjunctions. We focus on mining the simplest expressions (theminimal generators) for each class. We also propose a closure op...

Determining the correct structure of coordinating conjunctions and the syntactic constituents that they coordinate is a difficult task. This subtask of syntactic parsing is explored here for biomedical scientific literature. In particular, the intuition that sentences containing coordinating conjunctions can often be rephrased as two or more smaller sentences derived from the coordination struc...

The essentially Σ1 formulae of ΣL are exactly those which are provably equivalent to a disjunction of conjunctions of 2 and Σ1 formulae.

This paper deals with some dependencies between fuzzy conjunctions and fuzzy implications. More precisely, a fuzzy implication generated from a fuzzy conjunction and a fuzzy conjunction induced by a fuzzy implication is considered. In the case of a fuzzy conjunction only border conditions and monotonicity are assumed. The results are illustrated by examples of weak fuzzy connectives.