The canonical base of a formal context is a minimal set of implications that is sound and complete. A recent paper has provided a new algorithm for the parallel computation of canonical bases. An important extension is the integration of expert interaction for Attribute Exploration in order to explore implicational bases of inaccessible formal contexts. This paper presents and analyzes an algor...

The notion of a Horn extended feature structure (HoXF) is introduced, which is a feature structure constrained so that its only allowable extensions are those satisfying some set of Horn clauses in feature-term logic. HoXF's greatly generalize ordinary feature structures in admitting explicit representation of negative and implicational constraints. In contradis-tinction to the general case in ...

We are interested in the problem of translating between two representations closure systems, namely implicational bases and meet-irreducible elements. Albeit its importance, is open. Motivated by this problem, we introduce splits an base. It a partitioning operation implications which apply recursively to obtain binary tree representing decomposition show that can be conducted polynomial time s...

Introduction: Corrosion and scaling are important factors affecting drinking water quality, causing health and economic problems. This study aimed to investigate the indicators of corrosion and scaling in Rafsanjan drinking water. Materials and Methods: The present descriptive cross-sectional study was conducted in winter 2018 and spring 2019 in Rafsanjan. The 56 samples were randomly taken fr...

Drawing upon a recent review of the topic by Cross and Tolbert (2009), this paper briefly illustrates the diversity of theories concerning the nature of meanings in music and the challenges that need to be resolved to advance the field. A scheme for layered macroand micro-theories for neural, mental and behavioural systems is outlined to facilitate the development of a systematic and coherent b...

Introduction The acquisition of vowels by normally developing children is an area that has received increasing attention in the past decade, but the substitutions that characterize children’s speech remain largely undocumented. Looking at adult phonological substitutions1, we find that the range of normal substitutions is very wide, but clear. There is every reason to believe that we should fin...

It is well known that every closure system can be represented by an implicational base, or the set of its meet-irreducible elements. In Horn logic, these are respectively as expressions and characteristic models. this paper, we consider problem translating between two representations in acyclic convex geometries. Quite surprisingly, show context already harder than dualization distributive latt...