scientific article; zbMATH DE number 861622
From MaRDI portal
Publication:4871262
Recommendations
Cited in
(26)- Translation among CNFs, characteristic models and ordered binary decision diagrams
- Double Horn functions
- On functional dependencies in q-Horn theories
- Recognition and dualization of disguised bidual Horn functions.
- Bidual Horn functions and extensions
- Translating between the representations of a ranked convex geometry
- Approximate computation of exact association rules
- Optimizations in computing the Duquenne-Guigues basis of implications
- Probably approximately correct learning of Horn envelopes from queries
- First order LUB approximations: characterization and algorithms
- From equivalence queries to PAC learning: the case of implication theories
- Reasoning with models
- On the preferred extensions of argumentation frameworks: bijections with naive sets
- Translation-Based Revision and Merging for Minimal Horn Reasoning.
- Formal Methods in FCA and Big Data
- The joy of implications, aka pure Horn formulas: mainly a survey
- Dualization in lattices given by ordered sets of irreducibles
- Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics
- On the Merge of Factor Canonical Bases
- On the difference of Horn theories
- On the Boolean connectivity problem for Horn relations
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements
- Matroid Horn functions
- Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions
- Enumerating the irreducible closed sets of an acyclic implicational base of bounded degree
- Computational aspects of monotone dualization: a brief survey
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4871262)
