Bidual Horn functions and extensions
From MaRDI portal
Recommendations
- Extensions of some Horn functions
- Recognition and dualization of disguised bidual Horn functions.
- scientific article; zbMATH DE number 1136094
- Double Horn functions
- Horn Extensions of a Partially Defined Boolean Function
- Relations for the Horn functions
- Bipolynomial Hilbert functions
- Biquaternion extensions of analytic functions
- On renamable Horn and generalized Horn functions
- Horn functions and their DNFs
Cites work
- A theory of the learnable
- A Way to Simplify Truth Functions
- Complexity of identification and dualization of positive Boolean functions
- Decomposability of partially defined Boolean functions
- Double Horn functions
- Error-free and best-fit extensions of partially defined Boolean functions
- Horn approximations of empirical data
- Horn Extensions of a Partially Defined Boolean Function
- Horn functions and submodular Boolean functions
- Horn functions and their DNFs
- Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
- scientific article; zbMATH DE number 4164874 (Why is no real title available?)
- scientific article; zbMATH DE number 4012495 (Why is no real title available?)
- scientific article; zbMATH DE number 3639144 (Why is no real title available?)
- scientific article; zbMATH DE number 1354130 (Why is no real title available?)
- scientific article; zbMATH DE number 861622 (Why is no real title available?)
- Identifying the Minimal Transversals of a Hypergraph and Related Problems
- Learning conjunctions of Horn clauses
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Minimal Representation of Directed Hypergraphs
- Minimum Covers in Relational Database Model
- On generating all maximal independent sets
- On the Complexity of Dualization of Monotone Disjunctive Normal Forms
- Optimal compression of propositional Horn knowledge bases: Complexity and approximation
- Positive and Horn decomposability of partially defined Boolean functions
- Queries and concept learning
- Structure identification in relational data
- Unification as a complexity measure for logic programming
Cited in
(8)- Double Horn functions
- Recognition and dualization of disguised bidual Horn functions.
- Directed hypergraphs and Horn minimization
- Horn Extensions of a Partially Defined Boolean Function
- scientific article; zbMATH DE number 1104330 (Why is no real title available?)
- scientific article; zbMATH DE number 1136094 (Why is no real title available?)
- Union-closed sets and Horn Boolean functions
- Computational aspects of monotone dualization: a brief survey
This page was built for publication: Bidual Horn functions and extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1961447)
