The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for horn with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1949-1971 (15) 1972-1978 (21) 1979-1982 (23) 1983 (15) 1984 (15) 1985 (22) 1986 (37) 1987 (43) 1988 (51) 1989 (44) 1990 (59) 1991 (66) 1992 (62) 1993 (52) 1994 (53) 1995 (41) 1996 (44) 1997 (49) 1998 (71) 1999 (59) 2000 (66) 2001 (53) 2002 (61) 2003 (69) 2004 (74) 2005 (97) 2006 (81) 2007 (97) 2008 (94) 2009 (107) 2010 (84) 2011 (89) 2012 (99) 2013 (132) 2014 (129) 2015 (138) 2016 (132) 2017 (128) 2018 (176) 2019 (145) 2020 (159) 2021 (146) 2022 (148) 2023 (166) 2024 (35)
Publication types (Num. hits)
article(1503) book(11) data(3) incollection(16) inproceedings(1954) phdthesis(41) proceedings(19)
Venues (Conferences, Journals, ...)
CoRR(319) NeuroImage(47) IJCAI(30) Theor. Comput. Sci.(30) CADE(29) IEEE Access(25) ICLS(24) IDC(24) CDC(23) Description Logics(23) ECC(23) Artif. Intell.(21) AAAI(20) Discret. Appl. Math.(20) IGARSS(19) Inf. Process. Lett.(19) More (+10 of total 1217)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 820 occurrences of 537 keywords

Results
Found 3835 publication records. Showing 3547 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
103Stefan Porschen, Ewald Speckenmeyer Worst Case Bounds for Some NP-Complete Modified Horn-SAT Problems. Search on Bibsonomy SAT (Selected Papers The full citation details ... 2004 DBLP  DOI  BibTeX  RDF (hidden) Horn formula, quadratic formula, minimal vertex cover, NP-completeness, satisfiability, fixed-parameter tractability
94Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets. Search on Bibsonomy MICAI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
85Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino On the Difference of Horn Theories. Search on Bibsonomy STACS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
85Thomas Eiter, Kazuhisa Makino Generating All Abductive Explanations for Queries on Propositional Horn Theories. Search on Bibsonomy CSL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Horn theories, polynomial total time computation, NP-hardness, abduction, propositional logic, Computational logic
85Vijay Chandru, John N. Hooker Extended Horn Sets In Propositional Logic. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF propositional logic, Horn clauses
76Paolo Liberatore Compilability and compact representations of revision of Horn knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF compilability, compact representations
76Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino Disjunctions of Horn Theories and Their Cores. Search on Bibsonomy ISAAC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
76Lawrence J. Henschen, Larry Wos Unit Refutations and Horn Sets. Search on Bibsonomy J. ACM The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
76Joost N. Kok Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog. Search on Bibsonomy REX Workshop The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
70Flemming Nielson, Helmut Seidl Control-Flow Analysis in Cubic Time. Search on Bibsonomy ESOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Horn clauses with sharing, tiling of Horn clauses, 0-CFA, Program analysis, calculus, ambient calculus
67Michael Mendler, Gerald Lüttgen Is Observational Congruence Axiomatisable in Equational Horn Logic? Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
67Uwe Bubeck, Hans Kleine Büning, Xishun Zhao Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
67David W. Reed, Donald W. Loveland, Bruce T. Smith The Near-Horn Approach to Disjunctive Logic Programming. Search on Bibsonomy ELP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
67Stefan Porschen, Tatjana Schmidt, Ewald Speckenmeyer On Some Aspects of Mixed Horn Formulas. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mixed Horn formula, polynomial time reduction, NP-completeness, satisfiability, exact algorithm
67Thomas Eiter, Kazuhisa Makino On computing all abductive explanations from a propositional Horn theory. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
67Hans van Maaren, Linda van Norden Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn, satisfiability, density, 3-SAT
61Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau Algorithms for Constructing Minimal Deduction Graphs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF MDG construction algorithms, Hern clauses, minimal deduction graphs, Horn clause logic, DG, Horn formulas, positive literals, rule instances, tree space, logic programming, graphs, expert systems, inference mechanisms, transitivity, backtracking, inference rules, reflexivity, arcs, sink, subtrees, HF
61Chao-Chih Yang Deduction Graphs: An Algorithm and Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF deduction graph, function-free Horn formula, logic queries, artificial intelligence, logic programming, logic programming, relational database, relational databases, expert systems, database theory, inference mechanisms, functional dependency, Horn clauses, polynomial time complexity, rule-based expert systems, inference problem
58R. Chandrasekaran, K. Subramani 0001 A Combinatorial Algorithm for Horn Programs. Search on Bibsonomy ISAAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Marta Arias, José L. Balcázar Canonical Horn Representations and Query Learning. Search on Bibsonomy ALT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
58Ralf Küsters, Tomasz Truderung Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach. Search on Bibsonomy CCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security protocols, algebraic properties
58Yusuke Kameda, Atsushi Imiya, Naoya Ohnishi A Convergence Proof for the Horn-Schunck Optical-Flow Computation Scheme Using Neighborhood Decomposition. Search on Bibsonomy IWCIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58Thomas Eiter, Georg Gottlob, Magdalena Ortiz 0001, Mantas Simkus Query Answering in the Description Logic Horn-. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
58Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto 0001 On the Boolean Connectivity Problem for Horn Relations. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
58Marcus Vinicius Santos Denotational Semantics Using Horn Concurrent Transaction Logic. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
58Hiroki Uejima, Masami Hagiya, Satoshi Kobayashi Horn Clause Computation by Self-assembly of DNA Molecules. Search on Bibsonomy DNA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
58Jean-Marc Talbot On the Alternation-Free Horn Mu-calculus. Search on Bibsonomy LPAR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
58Michael Dierkes Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. Search on Bibsonomy LPAR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
58Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
58Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino On Disguised Double Horn Functions and Extensions. Search on Bibsonomy STACS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
58Xumin Nie How Well Are Non-Horn Clauses Handled? Search on Bibsonomy ISMIS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
58Dongbo Liu, Deyi Li Fuzzy Reasoning Based on F-Horn Clause Rules. Search on Bibsonomy ALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
58Alexej P. Pynko A relative interpolation theorem for infinitary universal Horn logic and its applications. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Universal Horn theory, Interpolation theorem, Preservation theorem, Definability theorem
58Emmanuel Kounalis, Michaël Rusinowitch On Word Problems in Horn Theories. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF initial model, inductionless induction, resolution, term-rewriting system, Horn clause, word problems
58Peter L. Hammer, Alexander Kogan Essential and redundant rules in Horn knowledge bases. Search on Bibsonomy HICSS (3) The full citation details ... 1995 DBLP  DOI  BibTeX  RDF redundant rules, essential rules, Horn knowledge bases, logically equivalent transformations, irredundant prime knowledge base, future simplifications, combinatorial characterizations, computational recognition procedures, essentiality, knowledge based systems, redundancy, redundancy, production rule, Horn clauses, combinatorial mathematics
53Dong-Bo Liu, Zheng-ding Lu The Theory of Fuzzy Logic Programming. Search on Bibsonomy ICFIE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fuzzy Horn Clauses, Fuzzy Proof Theory, Fuzzy Procedural Interpretation, Fuzzy Logic Programming
53Thomas Eiter, Kazuhisa Makino Abduction and the Dualization Problem. Search on Bibsonomy Discovery Science The full citation details ... 2003 DBLP  DOI  BibTeX  RDF monotone dualization, Horn functions, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, hypergraph transversals
53Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation
50Linh Anh Nguyen Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
50Lionel Paris, Richard Ostrowski, Pierre Siegel, Lakhdar Sais Computing Horn Strong Backdoor Sets Thanks to Local Search. Search on Bibsonomy ICTAI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
50Cliff Randell, Sara Price, Yvonne Rogers, Eric Charles Harris, Geraldine Fitzpatrick The Ambient Horn: designing a novel audio-based learning experience. Search on Bibsonomy Pers. Ubiquitous Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Audio-based learning, Augmented reality, Pervasive computing, Mobile learning
50Zdravko Markov, Ivo Marinchev Coverage-Based Semi-distance between Horn Clauses. Search on Bibsonomy AIMSA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
50Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
50Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier Halting Problem of One Binary Horn Clause is Undecidable. Search on Bibsonomy STACS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
50Gopalan Nadathur, Dale Miller 0001 Higher-Order Horn Clauses Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
49Flemming Nielson, Hanne Riis Nielson, Helmut Seidl Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF uniform Horn clauses, strongly recognizable relations, Program analysis, Spi calculus
49Jack Minker, Arcot Rajasekar Procedural Interpretation of Non-Horn Logic Programs. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF generalized closed world assumption, non-horn programs, procedural interpretation, support-for-negation, logic programming, negation
49Chuang Lin 0002, Abhijit Chaudhury, Andrew B. Whinston, Dan C. Marinescu Logical Inference of Horn Clauses in Petri Net Models. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF net model, logical inconsistency check, T-invariants, one-literal, pure-literal, splitting clauses, Petri nets, inference mechanisms, resolution, propositional logic, Horn clauses, Horn clauses, Petri net models, first-order predicate logic, logical inference
49Dana Angluin, Michael Frazier, Leonard Pitt Learning Conjunctions of Horn Clauses (Extended Abstract) Search on Bibsonomy FOCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF clauses, Horn clause conjunctions, Horn sentence, disjunction of literals, negated variable, unknown formula, learning algorithm, Boolean formulas, polynomial time complexity, membership queries, equivalence queries
46Jerzy Marcinkowski A Horn Clause that Implies and Undecidable Set of Horn Clauses. Search on Bibsonomy CSL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Céline Rouveirol, Véronique Ventos Towards Learning in CARIN-ALN. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Thomas Eiter, Thomas Lukasiewicz New Tractable Cases in Default Reasoning from Conditional Knowledge Bases. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Thomas S. Jones, Ahmed Louri Media Access Protocols For A Scalable Optical Interconnection Network. Search on Bibsonomy ICPP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
44Marco Cadoli, Thomas Eiter, Georg Gottlob Complexity of propositional nested circumscription and nested abnormality theories. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription
44Athanassios Tzouvaras The Logic of Multisets Continued: The Case of Disjunction. Search on Bibsonomy Stud Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF disjunctive multiset, Horn fragment, semantics of the Horn fragment, linear logic, Multiset
43Marina Langlois, Robert H. Sloan, Balázs Szörényi, György Turán Horn Complements: Towards Horn-to-Horn Belief Revision. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
43Bishoksan Kafle, John P. Gallagher, Pierre Ganty Solving non-linear Horn clauses using a linear Horn clause solver. Search on Bibsonomy HCVS@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
41Marina Langlois, Dhruv Mubayi, Robert H. Sloan, György Turán Combinatorial Problems for Horn Clauses. Search on Bibsonomy Graph Theory, Computational Intelligence and Thought The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41John P. Gallagher, Mads Rosendahl Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Christoffer Rosenkilde Nielsen, Flemming Nielson, Hanne Riis Nielson Iterative Specialisation of Horn Clauses. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Xianfei Tang, Changjun Jiang, Zhijun Ding Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models. Search on Bibsonomy ICWS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Marina Langlois, Robert H. Sloan, György Turán Horn Upper Bounds and Renaming. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41Max I. Kanovich The Expressive Power of Horn Monadic Linear Logic. Search on Bibsonomy CSL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
41Philippe Balbiani, Jean-François Condotta, Gérard Ligozat Reasoning about Generalized Intervals: Horn Representability and Tractability. Search on Bibsonomy TIME The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
41Roni Khardon Learning Range Restricted Horn Expressions. Search on Bibsonomy EuroCOLT The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Wenjin Lu, Ulrich Furbach Disjunctive Logic Program = Horn Program + Control Program. Search on Bibsonomy JELIA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
41Xumin Nie, Qing Guo Renaming a Set of Non-Horn Clauses. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Stefania Costantini, Pierangelo Dell'Acqua, Gaetano Aurelio Lanzarone Extending Horn Clause Theories by Reflection Principles. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
41Erich Grädel The Expressive Power of Second Order Horn Logic. Search on Bibsonomy STACS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
41Alexander Leitsch Deciding Horn Classes by Hyperresolution. Search on Bibsonomy CSL The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
41Shan Chi, Lawrence J. Henschen Recursive Query Answering with Non-Horn Clauses. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
41Roland Dietrich Relating Resolution and Algebraic Completion for Horn Logic. Search on Bibsonomy CADE The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
41Radim Belohlávek, Vilém Vychodil Fuzzy Horn logic I. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Degree of provability, Fuzzy logic, Implication, Equational logic, Horn logic
41Radim Belohlávek, Vilém Vychodil Fuzzy Horn logic II. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Degree of provability, Fuzzy logic, Implication, Equational Logic, Horn logic
41Sven Hartmann, Sebastian Link Horn clauses and functional dependencies in complex-value databases. Search on Bibsonomy ADC The full citation details ... 2006 DBLP  BibTeX  RDF logic in databases, functional dependency, Horn clause, complex values, implication problem
41Dale Miller 0001 Collection analysis for Horn clause programs. Search on Bibsonomy PPDP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static analysis, linear logic, Horn clauses, proof search
41José Oscar Olmedo-Aguirre, Guillermo Morales-Luna Indeed : Interactive Deduction on Horn Clause Theories. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Horn clause theories, interaction, Logic programming, automated theorem proving
41Ashok K. Chandra, David Harel Horn Clauses and the Fixpoint Query Hierarchy. Search on Bibsonomy PODS The full citation details ... 1982 DBLP  DOI  BibTeX  RDF logic program, PROLOG, query language, horn clause, relational data base
35Michael Minock, Hansi Kraus Z-log: Applying System-Z. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Edgar Altamirano, Gonzalo Escalada-Imaz Finding Tractable Formulas in NNF. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
35Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee A Logic Database System with Extended Functionality. Search on Bibsonomy COMPSAC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
35Helmut Seidl, Kumar Neeraj Verma Flat and one-variable clauses: Complexity of verifying cryptographic protocols with single blind copying. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF instantiation-based theorem proving, Cryptographic protocols, first-order logic, resolution, Horn clauses
35Hans van Maaren, Linda van Norden Hidden Threshold Phenomena for Fixed-Density SAT-formulae. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Horn, graph-3-coloring, satisfiability, thresholds, 3-SAT
35Flemming Nielson, Hanne Riis Nielson, Helmut Seidl Automatic Complexity Analysis. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF automatic complexity analysis, Program analysis, sparseness, Horn clauses
35Xiaochun Cheng, Haihong Dai Operator Fuzzy Logic Based on Argumentation. Search on Bibsonomy HICSS (5) The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Operator Fuzzy Logic, argumentation, conflict resolution, nonmonotonic reasoning, Horn clause
35Omar E. Vaga, Yee-Hong Yang Shading Logic: A Heuristic Approach to Recover Shape from Shading. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF heuristic-based algorithm, shading logic, Brooks and Horn algorithm, computer vision, computer vision, computer graphics, computer graphics, shape from shading, superquadrics
35Tadao Murata, Du Zhang A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF AND/OR parallelisms, deduction process, Horn clause logic programs, Petri nets, logic programming, communicating processes, fixpoint semantics, predicate/transition nets, relational operations
34Jeffrey Horn Coevolving species for shape nesting. Search on Bibsonomy Congress on Evolutionary Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Leonardo Horn Iwaya, Gabriel Horn Iwaya, Simone Fischer-Hübner, Andrea Valéria Steil Organisational Privacy Culture and Climate: A Scoping Review. Search on Bibsonomy IEEE Access The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
32Stefano Ferilli, Marenglen Biba, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison. Search on Bibsonomy AI*IA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Kazuhisa Makino, Hirotaka Ono 0001 Deductive Inference for the Interiors and Exteriors of Horn Theories. Search on Bibsonomy ISAAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Stephan Kottler, Michael Kaufmann 0001, Carsten Sinz Computation of Renameable Horn Backdoors. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Ethan K. Jackson, Wolfram Schulte Model Generation for Horn Logic with Stratified Negation. Search on Bibsonomy FORTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou Expressive Reasoning with Horn Rules and Fuzzy Description Logics. Search on Bibsonomy RR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
32Helmut Seidl, Kumar Neeraj Verma Cryptographic Protocol Verification Using Tractable Classes of Horn Clauses. Search on Bibsonomy Program Analysis and Compilation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Uwe Bubeck, Hans Kleine Büning Dependency Quantified Horn Formulas: Models and Complexity. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Linh Anh Nguyen A Bottom-Up Method for the Deterministic Horn Fragment of the Description Logic ALC. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
32Qian Wang 0024, Gopal Gupta 0001, Michael Leuschel Towards Provably Correct Code Generation via Horn Logical Continuation Semantics. Search on Bibsonomy PADL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32José L. Balcázar, Gemma Casas-Garriga On Horn Axiomatizations for Sequential Data. Search on Bibsonomy ICDT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
32Amar Mitiche, Abdol-Reza Mansouri On convergence of the Horn and Schunck optical-flow estimation method. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3547 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license