The following pages link to (Q4871262):
Displaying 24 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Dualization in lattices given by ordered sets of irreducibles (Q507520) (← links)
- Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics (Q507531) (← links)
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions (Q646712) (← links)
- Computational aspects of monotone dualization: a brief survey (Q943839) (← links)
- Translation among CNFs, characteristic models and ordered binary decision diagrams (Q1007523) (← links)
- Double Horn functions (Q1271644) (← links)
- On functional dependencies in \(q\)-Horn theories (Q1606330) (← links)
- Recognition and dualization of disguised bidual Horn functions. (Q1853017) (← links)
- Bidual Horn functions and extensions (Q1961447) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- Approximate computation of exact association rules (Q2117123) (← links)
- Optimizations in computing the Duquenne-Guigues basis of implications (Q2248528) (← links)
- Probably approximately correct learning of Horn envelopes from queries (Q2286380) (← links)
- First order LUB approximations: characterization and algorithms (Q2457687) (← links)
- From equivalence queries to PAC learning: the case of implication theories (Q2658016) (← links)
- Reasoning with models (Q2676579) (← links)
- On the preferred extensions of argumentation frameworks: bijections with naive sets (Q2681398) (← links)
- Formal Methods in FCA and Big Data (Q5054986) (← links)
- On the Merge of Factor Canonical Bases (Q5445333) (← links)
- On the difference of Horn theories (Q5929916) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)
- Matroid Horn functions (Q6187338) (← links)
