[HTML][HTML] Computational aspects of monotone dualization: A brief survey

T Eiter, K Makino, G Gottlob - Discrete Applied Mathematics, 2008 - Elsevier
Dualization of a monotone Boolean function represented by a conjunctive normal form
(CNF) is a problem which, in different disguise, is ubiquitous in many areas including …

Towards rare itemset mining

L Szathmary, A Napoli… - 19th IEEE international …, 2007 - ieeexplore.ieee.org
We describe here a general approach for rare itemset mining. While mining literature has
been almost exclusively focused on frequent itemsets, in many practical situations rare ones …

Efficient algorithms for dualizing large-scale hypergraphs

K Murakami, T Uno - 2013 Proceedings of the Fifteenth Workshop on …, 2013 - SIAM
A hypergraph ℱ is a set family defined on vertex set V. The dual of ℱ is the set of minimal
subsets H of V such that F∩ H≠ ø for any F∊ F. The computation of the dual is equivalent to …

The minimal hitting set generation problem: algorithms and computation

A Gainer-Dewar, P Vera-Licona - SIAM Journal on Discrete Mathematics, 2017 - SIAM
Finding inclusion-minimal hitting sets (MHSs) for a given family of sets is a fundamental
combinatorial problem with applications in domains as diverse as Boolean algebra …

Maximal closed set and half-space separations in finite closure systems

F Seiffarth, T Horváth, S Wrobel - Theoretical Computer Science, 2023 - Elsevier
Several concept learning problems can be regarded as special cases of half-space
separation in abstract closure systems over finite ground sets. For the typical scenario that …

Explanations for ontology-mediated query answering in description logics

II Ceylan, T Lukasiewicz, E Malizia… - ECAI 2020, 2020 - ebooks.iospress.nl
Ontology-mediated query answering is a paradigm that seeks to exploit the semantic
knowledge expressed in terms of ontologies to improve query answers over incomplete data …

A transversal hypergraph approach for the frequent itemset hiding problem

EC Stavropoulos, VS Verykios, V Kagklis - Knowledge and information …, 2016 - Springer
We propose a methodology for hiding all sensitive frequent itemsets in a transaction
database. Our methodology relies on a novel technique that enumerates the minimal …

Generating rare association rules using the minimal rare itemsets family

L Szathmary, P Valtchev, A Napoli - International Journal of …, 2010 - inria.hal.science
Rare association rules correspond to rare, or infrequent, itemsets, as opposed to frequent
ones that are targeted by conventional pattern miners. Rare rules reflect regularities of local …

Achieving new upper bounds for the hypergraph duality problem through logic

G Gottlob, E Malizia - Proceedings of the Joint Meeting of the Twenty …, 2014 - dl.acm.org
The hypergraph duality problem Dual is defined as follows: given two simple hypergraphs G
and H, decide whether H consists precisely of all minimal transversals of G (in which case …

Faster algorithms for constructing a concept (galois) lattice

V Choi - Clustering challenges in biological networks, 2009 - World Scientific
In this paper, we present a fast algorithm for constructing a concept (Galois) lattice of a
binary relation, including computing all concepts and their lattice order. We also present two …