Search results
From MaRDI portal
- algorithm for Horn description 2009-07-09 Paper Graph-Based Representations in Pattern Recognition 2005-09-13 Paper Recognition of simple enlarged Horn formulas...10 bytes (18 words) - 15:42, 12 December 2023
- inference using constrained Horn clauses 2018-12-04 Paper Tree dimension in verification of constrained Horn clauses 2018-05-31 Paper Horn clause verification...10 bytes (18 words) - 20:35, 9 December 2023
- of categorical antiadditive Horn theories till additive ones 2018-04-04 Paper Permutation groups in categorical additive Horn theories 2017-07-18 Paper Totally...10 bytes (18 words) - 17:35, 11 December 2023
- 2018-08-24 Paper Hydras: directed hypergraphs and Horn formulas 2017-02-06 Paper Characterizability in Horn Belief Revision 2016-11-30 Paper Biclique Coverings...10 bytes (17 words) - 19:23, 9 December 2023
- minimal functional dependencies in Horn and q-Horn theories 2003-06-09 Paper On functional dependencies in \(q\)-Horn theories 2002-07-24 Paper https://portal...10 bytes (16 words) - 20:27, 9 December 2023
- asking the minimum number of questions in Horn clause systems 1995-09-18 Paper Inference flexibility in Horn clause knowledge bases and the simplex method...10 bytes (16 words) - 12:03, 12 December 2023
- Kernel Machines 2010-03-23 Paper Combinatorial Problems for Horn Clauses 2010-01-07 Paper Horn Upper Bounds and Renaming 2009-03-10 Paper On k-Term DNF with...10 bytes (18 words) - 16:37, 9 December 2023
- algorithms for read-once refutations in Horn constraint systems 2022-07-01 Paper Analyzing read-once cutting plane proofs in Horn systems 2022-06-09 Paper On the...10 bytes (18 words) - 17:51, 11 December 2023
- mardi4nfdi.de/entity/Q5476402 2006-07-14 Paper Continuous fuzzy Horn logic 2006-05-16 Paper Fuzzy Horn logic. II. Implicationally defined classes. 2006-03-21 Paper...10 bytes (16 words) - 20:55, 9 December 2023
- Models and quantifier elimination for quantified Horn formulas 2008-09-10 Paper Dependency Quantified Horn Formulas: Models and Complexity 2007-09-04 Paper...10 bytes (16 words) - 03:34, 13 December 2023
- of Publication Type HORN PROBLEM FOR QUASI-HERMITIAN LIE GROUPS 2023-10-17 Paper \(\mathrm{Horn}(p, q)\) 2023-07-14 Paper The Horn cone associated with...10 bytes (18 words) - 19:22, 9 December 2023
- algorithms for read-once refutations in Horn constraint systems 2022-07-01 Paper Analyzing read-once cutting plane proofs in Horn systems 2022-06-09 Paper On the...10 bytes (19 words) - 00:03, 10 December 2023
- in Switzerland 2018-07-23 Paper The Horn problem and planar networks 2017-09-04 Paper A symplectic proof of the Horn inequalities 2017-09-04 Paper On the...10 bytes (16 words) - 13:41, 12 December 2023
- zbMath Open horn-darturo.guidoWikidataQ11300012 ScholiaQ11300012MaRDI QIDQ565185 No records found. This page was built for person: G. Horn d'Arturo...10 bytes (19 words) - 08:42, 12 December 2023
- II\(_{1}\) factors 2008-06-30 Paper A Schur-Horn theorem in II$_1$ factors 2007-11-27 Paper The Schur-Horn theorem for operators and frames with prescribed...10 bytes (18 words) - 00:45, 11 December 2023
- de/entity/Q3507034 2008-06-18 Paper A sharp threshold for the renameable-Horn and the \(q\)-Horn properties 2006-01-10 Paper Typical case complexity of satisfiability...10 bytes (18 words) - 19:11, 9 December 2023
- Publication Date of Publication Type Introducing w-Horn and z-Horn: A generalization of Horn and q-Horn formulae 2022-03-18 Paper...10 bytes (16 words) - 12:32, 14 March 2024
- place of Brownian motion in the complement of a horn 2009-11-20 Paper The growth of the Martin kernel in a horn-shaped domain 2009-05-13 Paper The chance of...10 bytes (17 words) - 01:47, 13 December 2023
- from constrained Horn clauses using difference predicates 2022-11-09 Paper Verifying Catamorphism-Based Contracts using Constrained Horn Clauses 2022-09-30...10 bytes (16 words) - 16:42, 12 December 2023
- Transformation of Constrained Horn Clauses for Program Verification 2023-12-12 Paper Removing algebraic data types from constrained Horn clauses using difference...10 bytes (18 words) - 18:44, 24 September 2023