Disjoint essential sets of implicates of a CQ Horn function
type: Item
instance of: scholarly article
title: Disjoint essential sets of implicates of a CQ Horn function
zbMATH Open document ID: 1253.68310
author: Ondřej Čepek
author: Petr Kučera
published in: Annals of Mathematics and Artificial Intelligence
publication date: 2012-03-23T00:00:00Z
Mathematics Subject Classification ID: 68T35
Mathematics Subject Classification ID: 06E30
zbMATH DE Number: 6018326
zbMATH Keywords: propositional Horn expert systems
zbMATH Keywords: Horn functions
zbMATH Keywords: Horn minimization
zbMATH Keywords: Boolean minimization
zbMATH Keywords: CQ functions
zbMATH Keywords: essential sets
zbMATH Keywords: exclusive sets
Wikidata QID: Q62044331
MaRDI profile type: Publication
full work available at URL: s10472-011-9263-9
OpenAlex ID: W2076642364
cites work: Minimal Representation of Directed Hypergraphs
cites work: Horn minimization by iterative decomposition
cites work: Exclusive and essential sets of implicates of Boolean functions
cites work: A subclass of Horn CNFs optimally compressible in polynomial time
cites work: Boolean functions with a simple certificate for CNF complexity
cites work: Structure identification in relational data
cites work: Decomposition of a Data Base and the Theory of Boolean Switching Functions
cites work: Q3789107
cites work: Horn functions and their DNFs
cites work: Optimal compression of propositional Horn knowledge bases: Complexity and approximation
cites work: Minimum Covers in Relational Database Model
cites work: A Way to Simplify Truth Functions
cites work: Depth-First Search and Linear Graph Algorithms
cites work: The minimum equivalent DNF problem and shortest implicants
DOI: 10.1007/S10472-011-9263-9
Recommended article: Disjunctions of Horn theories and their cores
Recommended article: Q4249522
Recommended article: Exclusive and essential sets of implicates of Boolean functions
Recommended article: The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Recommended article: Q3975473
Recommended article: Disjoint representability of sets and their complements
Recommended article: On functional dependencies in \(q\)-Horn theories
Recommended article: Disjunction and existence under implication in elementary intuitionistic formalisms
Recommended article: Q4036569
Recommended article: Simple Saturated Sets for Disjunction and Second-Order Existential Quantification
description: scientific article; zbMATH DE number 6018326