Bidual Horn functions and extensions (Q1961447): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Queries and concept learning
@@ Property / cites work: Queries and concept learning / rank @@
+Normal rank
@@ Property / cites work @@
+Learning conjunctions of Horn clauses
@@ Property / cites work: Learning conjunctions of Horn clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal Representation of Directed Hypergraphs
@@ Property / cites work: Minimal Representation of Directed Hypergraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of identification and dualization of positive Boolean functions
+Normal rank
@@ Property / cites work @@
+Decomposability of partially defined Boolean functions
+Normal rank
@@ Property / cites work @@
+Error-free and best-fit extensions of partially defined Boolean functions
+Normal rank
@@ Property / cites work @@
+Q3491589
@@ Property / cites work: Q3491589 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure identification in relational data
@@ Property / cites work: Structure identification in relational data / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Identifying the Minimal Transversals of a Hypergraph and Related Problems
+Normal rank
@@ Property / cites work @@
+Double Horn functions
@@ Property / cites work: Double Horn functions / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and submodular Boolean functions
@@ Property / cites work: Horn functions and submodular Boolean functions / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Dualization of Monotone Disjunctive Normal Forms
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow
+Normal rank
@@ Property / cites work @@
+Horn functions and their DNFs
@@ Property / cites work: Horn functions and their DNFs / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal compression of propositional Horn knowledge bases: Complexity and approximation
+Normal rank
@@ Property / cites work @@
+Unification as a complexity measure for logic programming
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Horn approximations of empirical data
@@ Property / cites work: Horn approximations of empirical data / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268444
@@ Property / cites work: Q4268444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum Covers in Relational Database Model
@@ Property / cites work: Minimum Covers in Relational Database Model / rank @@
+Normal rank
@@ Property / cites work @@
+Horn Extensions of a Partially Defined Boolean Function
+Normal rank
@@ Property / cites work @@
+Positive and Horn decomposability of partially defined Boolean functions
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of the learnable
@@ Property / cites work: A theory of the learnable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3762226
@@ Property / cites work: Q3762226 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0166-218x(99)00033-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2092197458
@@ Property / OpenAlex ID: W2092197458 / rank @@
+Normal rank