Ordered direct implicational basis of a finite closure system
From MaRDI portal
Publication:1946213
DOI10.1016/j.dam.2012.08.031zbMath1288.06007arXiv1110.5805OpenAlexW2018498959WikidataQ113643194 ScholiaQ113643194MaRDI QIDQ1946213
Publication date: 18 April 2013
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.5805
closure operatorforward chainingcanonical basisHorn formulaHorn Boolean functionlattice of closed setsdirect basislinclosuresystem of implications
Structure theory of lattices (06B05) Classical propositional logic (03B05) Boolean functions (06E30) Logic programming (68N17)
Related Items (19)
FCA2VEC: Embedding Techniques for Formal Concept Analysis ⋮ Formal Methods in FCA and Big Data ⋮ Lattices, closures systems and implication bases: a survey of structural aspects and algorithms ⋮ Optimum basis of finite convex geometry ⋮ A representation of antimatroids by Horn rules and its application to educational systems ⋮ Disjunctive attribute dependencies in formal concept analysis under the epistemic view of formal contexts ⋮ Three views on dependency covers from an FCA perspective ⋮ Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements ⋮ The joy of implications, aka pure Horn formulas: mainly a survey ⋮ Discovery of the \(D\)-basis in binary tables based on hypergraph dualization ⋮ RQL: a query language for rule discovery in databases ⋮ Algorithms for \(k\)-meet-semidistributive lattices ⋮ Canonical dichotomous direct bases ⋮ Translating between the representations of a ranked convex geometry ⋮ Direct-optimal basis computation by means of the fusion of simplification rules ⋮ Using congruence relations to extract knowledge from concept lattices ⋮ On implicational bases of closure systems with unique critical sets. ⋮ Measuring the Implications of the D-Basis in Analysis of Data in Biomedical Studies ⋮ Clustering and identification of core implications
This page was built for publication: Ordered direct implicational basis of a finite closure system
