Cited in
(53)- A decomposition method for CNF minimality proofs
- Abstract Hilbertian deductive systems, infon logic, and Datalog
- Efficient MUS enumeration of Horn formulae with applications to axiom pinpointing
- Bounded treewidth as a key to tractability of knowledge representation and reasoning
- A CNF Class Generalizing Exact Linear Formulas
- scientific article; zbMATH DE number 1414298 (Why is no real title available?)
- Satisfiability of mixed Horn formulas
- A subclass of Horn CNFs optimally compressible in polynomial time
- The unique Horn-satisfiability problem and quadratic Boolean equations.
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- Inferring minimal functional dependencies in Horn and q-Horn theories
- Efficient inclusion checking for deterministic tree automata and XML schemas
- Algorithms for Variable-Weighted 2-SAT and Dual Problems
- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR
- Horn functions and their DNFs
- Theory and Applications of Satisfiability Testing
- BEACON: an efficient SAT-based tool for debugging \(\mathcal {EL}^+\) ontologies
- Polynomial-time inference of all valid implications for Horn and related formulae
- Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
- On functional dependencies in q-Horn theories
- On Tackling Explanation Redundancy in Decision Trees
- Properties of SLUR Formulae
- Hardness results for approximate pure Horn CNF formulae minimization
- JBool
- CEL
- Leibniz
- BEACON
- Just
- Datalog
- DKAL
- Lixto
- Hornlog
- DIADEM
- EL2MCS
- Datalog LITE
- HgMUS
- ITI
- MediBoost
- Generalized domination in closure systems
- Branch-and-cut solution of inference problems in propositional logic
- A variant of Reiter's hitting-set algorithm
- Complexity classifications of Boolean constraint satisfaction problems
- Sorting, linear time and the satisfiability problem
- Extended Horn sets in propositional logic
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
- Efficient reasoning for inconsistent Horn formulae
- Linear time Datalog and branching time logic
- Design and implementation of aggregate functions in the DLV system
- Hydras: complexity on general graphs and a subclass of trees
- About some UP-based polynomial fragments of SAT
- SAT-Based Horn Least Upper Bounds
- From simplification to a partial theory solver for non-linear real polynomial constraints
- Logic, languages, and rules for web data extraction and reasoning over data
This page was built for software: Ltur
