Direct-optimal basis computation by means of the fusion of simplification rules (Q1800392): Difference between revisions

@@ Property / cites work @@
+Ordered direct implicational basis of a finite closure system
+Normal rank
@@ Property / cites work @@
+Optimizations in computing the Duquenne-Guigues basis of implications
+Normal rank
@@ Property / cites work @@
+Lattices, closures systems and implication bases: a survey of structural aspects and algorithms
+Normal rank
@@ Property / cites work @@
+The multiple facets of the canonical direct unit implicational basis
+Normal rank
@@ Property / cites work @@
+Q4667609
@@ Property / cites work: Q4667609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4422114
@@ Property / cites work: Q4422114 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5058462
@@ Property / cites work: Q5058462 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of learning in concept lattices from positive and negative examples
+Normal rank
@@ Property / cites work @@
+Formal Concept Analysis
@@ Property / cites work: Formal Concept Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Closure via functional dependence simplification
@@ Property / cites work: Closure via functional dependence simplification / rank @@
+Normal rank
@@ Property / cites work @@
+Some Notes on Managing Closure Operators
@@ Property / cites work: Some Notes on Managing Closure Operators / rank @@
+Normal rank
@@ Property / cites work @@
+Fast algorithms for implication bases and attribute exploration using proper premises
+Normal rank
@@ Property / cites work @@
+The joy of implications, aka pure Horn formulas: mainly a survey
+Normal rank