Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functions are functions of the described subpopulation, we propose to search for equivalence classes of descriptions with respect to their extension in the database rather than individual descriptions. These equivalence clas...

Formal methods have proved their usefulness for analyzing the security of protocols. Most existingresults focus on trace properties like secrecy or authentication. There are however several securityproperties, which cannot be defined (or cannot be naturally defined) as trace properties and requirea notion of behavioural equivalence. Typical examples are anonymity, privacy related pr...

The formal concept of logical equivalence in fuzzy logic 8;25 , while theoretically sound, seems impractical. The misinterpretation of this concept has led to some pessimistic conclusions 4. Motivated by practical interpretation of truth values for fuzzy propositions, we take the class (lattice) of all sub-intervals of the unit interval 0,1] as the truth value space for fuzzy logic, subsuming t...