Pages that link to "Item:Q974107"
From MaRDI portal
The following pages link to The multiple facets of the canonical direct unit implicational basis (Q974107):
Displayed 28 items.
- Construction and learnability of canonical Horn formulas (Q415621) (← links)
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Discovery of the \(D\)-basis in binary tables based on hypergraph dualization (Q507518) (← links)
- RQL: a query language for rule discovery in databases (Q507529) (← links)
- Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)
- On implicational bases of closure systems with unique critical sets. (Q741717) (← links)
- Lattices, closures systems and implication bases: a survey of structural aspects and algorithms (Q1659991) (← links)
- On sets of graded attribute implications with witnessed non-redundancy (Q1750536) (← links)
- A depth-first search algorithm for computing pseudo-closed sets (Q1800382) (← links)
- Algorithms for computing the Shapley value of cooperative games on lattices (Q1800390) (← links)
- Direct-optimal basis computation by means of the fusion of simplification rules (Q1800392) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- Quasi-closed elements in fuzzy posets (Q2059596) (← links)
- Steps towards causal Formal Concept Analysis (Q2076995) (← links)
- Optimizations in computing the Duquenne-Guigues basis of implications (Q2248528) (← links)
- Fast algorithms for implication bases and attribute exploration using proper premises (Q2248531) (← links)
- Concept lattices with negative information: a characterization theorem (Q2282052) (← links)
- Canonical dichotomous direct bases (Q2282305) (← links)
- On implication bases in \(n\)-lattices (Q2286379) (← links)
- A methodology for analysis of concept lattice reduction (Q2293159) (← links)
- Optimum basis of finite convex geometry (Q2399285) (← links)
- A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
- Performance-friendly rule extraction in large water data-sets with AOC posets and relational concept analysis (Q2817084) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)
- Measuring the Implications of the D-Basis in Analysis of Data in Biomedical Studies (Q5255648) (← links)
- Polynomial Time Algorithms for Computing a Minimum Hull Set in Distance-Hereditary and Chordal Graphs (Q5890507) (← links)
- Three views on dependency covers from an FCA perspective (Q6148092) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)