Concepedia

Horn Clause Solving

Horn Clause Solving is a methodological framework within automated reasoning that specializes in determining the satisfiability of logical formulas expressed as Horn clauses, which are definite clauses with at most one positive literal, thereby enabling efficient inference through resolution-based techniques.

140

Publications

7.2K

Citations

251

Authors

137

Institutions

Publications per year

2017–2026

24

Parents

Publications

140

Linear-time algorithms for testing the satisfiability of propositional horn formulae

William F. Dowling, Jean Gallier · The Journal of Logic Programming · 1984 · 1K citations

, , +11

Random Walk Inference and Learning in A Large Scale Knowledge Base

Ni Lao, Tom M. Mitchell, William W. Cohen · Figshare · 2018 · 521 citations · Full text

, , +15

Decomposable negation normal form

Adnan Darwiche · Journal of the ACM · 2001 · 333 citations

, , +14

Horn clause queries and generalizations

Ashok K. Chandra, David Harel · The Journal of Logic Programming · 1985 · 309 citations

, , +9

Learning conjunctions of Horn clauses

Dana Angluin, Michael Frazier, Leonard Pitt · Machine Learning · 1992 · 188 citations · Full text

, , +10

1–5 of 140

Authors

251

  1. JM
    João Marques‐Silva

    Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento, Portugal

    6 publications · 412 citations

    6

    h-index

  2. GF
    Grigory Fedyukovich

    Florida State University, United States

    5 publications · 126 citations

    5

    h-index

  3. JH
    John Hooker

    Carnegie Mellon University, United States

    5 publications · 299 citations

    5

    h-index

  4. JG
    Jean Gallier

    University of Pennsylvania, United States

    4 publications · 1.1K citations

    4

    h-index

  5. FM
    Felip Manyà

    Artificial Intelligence Research Institute, Spain

    4 publications · 125 citations

    4

    h-index

1–5 of 251

Institutions

137

  1. Carnegie Mellon University

    Pittsburgh, United States

    11 h-index

    18 publications

    2.2K citations

  2. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    9 publications

    647 citations

  3. The University of Texas at Austin

    Austin, United States

    5 h-index

    8 publications

    254 citations

  4. Universitat de Lleida

    Lleida, Spain

    5 h-index

    6 publications

    303 citations

  5. Centre National de la Recherche Scientifique

    Paris, France

    5 h-index

    6 publications

    121 citations

  6. Purdue University West Lafayette

    West Lafayette, United States

    4 h-index

    4 publications

    234 citations

  7. University College Dublin

    Dublin, Ireland

    3 h-index

    6 publications

    606 citations

  8. Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

    Lisbon, Portugal

    3 h-index

    5 publications

    337 citations

1–8 of 137

Venues

  1. Journal of Automated Reasoning

    9 publications · 522 citations

    8

    h-index

  2. Theoretical Computer Science

    8 publications · 218 citations

    8

    h-index

  3. The Journal of Logic Programming

    7 publications · 1.5K citations

    7

    h-index

  4. Artificial Intelligence

    4 publications · 274 citations

    4

    h-index

  5. 4

    h-index

1–5