On the complexity of enumerating pseudo-intents
From MaRDI portal
Publication:628340
DOI10.1016/j.dam.2010.12.004zbMath1214.68387OpenAlexW2005650770MaRDI QIDQ628340
Publication date: 10 March 2011
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.dam.2010.12.004
Related Items
Computing sets of graded attribute implications with witnessed non-redundancy ⋮ Formal Methods in FCA and Big Data ⋮ Knowledge cores in large formal contexts ⋮ Lattices, closures systems and implication bases: a survey of structural aspects and algorithms ⋮ From equivalence queries to PAC learning: the case of implication theories ⋮ A general theory of concept lattice with tractable implication exploration ⋮ Pruning techniques in lincbo for the computation of the duquenne-guigues basis ⋮ Mining ℰℒ⊥ Bases with Adaptable Role Depth ⋮ Interactive error correction in implicative theories ⋮ Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements ⋮ Ordinal motifs in lattices ⋮ Some Complexity Results about Essential Closed Sets ⋮ The joy of implications, aka pure Horn formulas: mainly a survey ⋮ Discovery of the \(D\)-basis in binary tables based on hypergraph dualization ⋮ Algorithms for \(k\)-meet-semidistributive lattices ⋮ Optimizations in computing the Duquenne-Guigues basis of implications ⋮ Fast algorithms for implication bases and attribute exploration using proper premises ⋮ On minimal sets of graded attribute implications ⋮ Minimal bases of temporal attribute implications ⋮ On implication bases in \(n\)-lattices ⋮ A depth-first search algorithm for computing pseudo-closed sets ⋮ Computing the Duquenne–Guigues basis: an algorithm for choosing the order ⋮ Steps towards causal Formal Concept Analysis ⋮ Measuring the Implications of the D-Basis in Analysis of Data in Biomedical Studies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Minimum implicational basis for \(\wedge\)-semidistributive lattices
- Some decision and counting problems of the Duquenne-Guigues basis of implications
- Computational aspects of monotone dualization: a brief survey
- On generating all maximal independent sets
- The core of finite lattices
- Monotone Boolean dualization is in co-NP\([\log^{2}n\).]
- Attribute-incremental construction of the canonical implication basis
- Hardness of Enumerating Pseudo-intents in the Lectic Order
- Two Basic Algorithms in Concept Analysis
- New results on monotone dualization and generating hypergraph transversals
- Some Notes on Pseudo-closed Sets
- Some Computational Problems Related to Pseudo-intents
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- On the Complexity of Dualization of Monotone Disjunctive Normal Forms
- Generating All Maximal Independent Sets: NP-Hardness and Polynomial-Time Algorithms
- A New Algorithm for Generating All the Maximal Independent Sets
- Optimal implicational bases for finite modular lattices
- New Results on Monotone Dualization and Generating Hypergraph Transversals
- Identifying the Minimal Transversals of a Hypergraph and Related Problems
- About Keys of Formal Context and Conformal Hypergraph
- On the Complexity of Some Enumeration Problems for Matroids
- Formal Concept Analysis
- Formal Concept Analysis
- Formal Concept Analysis