On functional dependencies in \(q\)-Horn theories (Q1606330): Difference between revisions

@@ Property / describes a project that uses @@
+Leibniz
@@ Property / describes a project that uses: Leibniz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ltur
@@ Property / describes a project that uses: Ltur / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4050122
@@ Property / cites work: Q4050122 / rank @@
+Normal rank
@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Polynomial-time inference of all valid implications for Horn and related formulae
+Normal rank
@@ Property / cites work @@
+A Complexity Index for Satisfiability Problems
@@ Property / cites work: A Complexity Index for Satisfiability Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Horn minimization by iterative decomposition
@@ Property / cites work: Horn minimization by iterative decomposition / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition of \(q\)-Horn formulae in linear time
@@ Property / cites work: Recognition of \(q\)-Horn formulae in linear time / rank @@
+Normal rank
@@ Property / cites work @@
+On renamable Horn and generalized Horn functions
@@ Property / cites work: On renamable Horn and generalized Horn functions / 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 @@
+Equational characterizations of Boolean function classes
+Normal rank
@@ Property / cites work @@
+Functional Dependencies in a Relational Database and Propositional Logic
+Normal rank
@@ Property / cites work @@
+Polynomially solvable satisfiability problems
@@ Property / cites work: Polynomially solvable satisfiability problems / rank @@
+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 @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Functional dependencies in Horn theories
@@ Property / cites work: Functional dependencies in Horn theories / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring minimal functional dependencies in Horn and q-Horn theories
+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 @@
+Reasoning with examples: Propositional formulae and database dependencies
+Normal rank
@@ Property / cites work @@
+Reasoning with models
@@ Property / cites work: Reasoning with models / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized Horn formulas and \(k\)-resolution
@@ Property / cites work: On generalized Horn formulas and \(k\)-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations on autark assignments
@@ Property / cites work: Investigations on autark assignments / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3668890
@@ Property / cites work: Q3668890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023862
@@ Property / cites work: Q4023862 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for inferring functional dependencies from relations
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+The unique Horn-satisfiability problem and quadratic Boolean equations.
+Normal rank
@@ Property / cites work @@
+Hierarchies of polynomially solvable satisfiability problems
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4705311
@@ Property / cites work: Q4705311 / rank @@
+Normal rank
@@ Property / cites work @@
+A short note on some tractable cases of the satisfiability problem.
+Normal rank
@@ Property / cites work @@
+Q3728820
@@ Property / cites work: Q3728820 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(01)00118-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2078663304
@@ Property / OpenAlex ID: W2078663304 / rank @@
+Normal rank