Bidual Horn functions and extensions
From MaRDI portal
Publication:1961447
DOI10.1016/S0166-218X(99)00033-5zbMath0941.68152OpenAlexW2092197458MaRDI QIDQ1961447
Toshihide Ibaraki, Kazuhisa Makino, Thomas Eiter
Publication date: 17 January 2000
Published in: Discrete Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0166-218x(99)00033-5
Related Items (4)
Directed hypergraphs and Horn minimization ⋮ Union-closed sets and Horn Boolean functions ⋮ Computational aspects of monotone dualization: a brief survey ⋮ Recognition and dualization of disguised bidual Horn functions.
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On generating all maximal independent sets
- Horn functions and their DNFs
- Structure identification in relational data
- Learning conjunctions of Horn clauses
- Double Horn functions
- Optimal compression of propositional Horn knowledge bases: Complexity and approximation
- Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
- Positive and Horn decomposability of partially defined Boolean functions
- Error-free and best-fit extensions of partially defined Boolean functions
- Horn functions and submodular Boolean functions
- Horn approximations of empirical data
- Decomposability of partially defined Boolean functions
- Queries and concept learning
- Complexity of identification and dualization of positive Boolean functions
- A Way to Simplify Truth Functions
- A theory of the learnable
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Minimal Representation of Directed Hypergraphs
- Unification as a complexity measure for logic programming
- On the Complexity of Dualization of Monotone Disjunctive Normal Forms
- Minimum Covers in Relational Database Model
- Horn Extensions of a Partially Defined Boolean Function
- Identifying the Minimal Transversals of a Hypergraph and Related Problems
This page was built for publication: Bidual Horn functions and extensions
