scientific article; zbMATH DE number 861622
From MaRDI portal
Publication:4871262
zbMath0900.68197arXivcs/9512105MaRDI QIDQ4871262
Publication date: 10 May 1998
Full work available at URL: https://arxiv.org/abs/cs/9512105
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formal Methods in FCA and Big Data ⋮ From equivalence queries to PAC learning: the case of implication theories ⋮ On the Boolean connectivity problem for Horn relations ⋮ Reasoning with models ⋮ On the preferred extensions of argumentation frameworks: bijections with naive sets ⋮ 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 ⋮ Bidual Horn functions and extensions ⋮ First order LUB approximations: characterization and algorithms ⋮ Computational aspects of monotone dualization: a brief survey ⋮ 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 ⋮ Optimizations in computing the Duquenne-Guigues basis of implications ⋮ On the difference of Horn theories ⋮ On the Merge of Factor Canonical Bases ⋮ Translating between the representations of a ranked convex geometry ⋮ Probably approximately correct learning of Horn envelopes from queries ⋮ Translation among CNFs, characteristic models and ordered binary decision diagrams ⋮ Double Horn functions ⋮ Recognition and dualization of disguised bidual Horn functions. ⋮ On functional dependencies in \(q\)-Horn theories ⋮ Approximate computation of exact association rules
