Concepedia

Logic Programming

Logic Programming is a declarative programming paradigm in which programs are expressed as sets of logical sentences (typically facts and rules in a formal logic), and computation is performed as logical inference or proof search over these sentences to answer queries.

2.9K

Publications

163.6K

Citations

3K

Authors

928

Institutions

Publications per year

2017–2026

187

Parents

Children

Publications

2.9K

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

, , +10

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

, , +11

The well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations

, , +4

Constraint logic programming

Joxan Jaffar, J.-L. Lassez · 1987 · 1.6K citations

, , +10

Inductive Logic Programming: Theory and methods

Stephen Muggleton, Luc De Raedt · The Journal of Logic Programming · 1994 · 1.6K citations · Full text

, , +10

1–5 of 2.9K

Authors

3K

  1. TE
    Thomas Eiter

    TU Wien, Austria

    49 publications · 5.1K citations

    29

    h-index

  2. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    37 publications · 1.8K citations

    24

    h-index

  3. NL
    Nicola Leone

    University of Calabria, Italy

    41 publications · 3.1K citations

    24

    h-index

  4. TS
    Torsten Schaub

    University of Potsdam, Germany

    36 publications · 2.2K citations

    23

    h-index

  5. LD
    Luc De Raedt

    KU Leuven, Belgium

    29 publications · 4K citations

    20

    h-index

1–5 of 3K

Institutions

928

  1. KU Leuven

    Leuven, Belgium

    39 h-index

    197 publications

    15.3K citations

  2. TU Wien

    Vienna, Austria

    38 h-index

    213 publications

    17.8K citations

  3. University of Calabria

    Rende, Italy

    35 h-index

    160 publications

    10.4K citations

  4. Imperial College London

    London, United Kingdom

    29 h-index

    90 publications

    4.8K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    27 h-index

    70 publications

    5.7K citations

  6. The University of Texas at Austin

    Austin, United States

    25 h-index

    49 publications

    6.1K citations

  7. Stanford University

    Stanford, United States

    24 h-index

    43 publications

    6.2K citations

  8. University of Potsdam

    Potsdam, Germany

    24 h-index

    103 publications

    7.1K citations

1–8 of 928

Venues

  1. The Journal of Logic Programming

    148 publications · 16.8K citations

    56

    h-index

  2. Theory and Practice of Logic Programming

    180 publications · 8.2K citations

    44

    h-index

  3. Theoretical Computer Science

    61 publications · 3.9K citations

    33

    h-index

  4. ACM Transactions on Computational Logic

    TOCL · 45 publications · 4.1K citations

    29

    h-index

  5. Artificial Intelligence

    41 publications · 3.8K citations

    28

    h-index

1–5