Concepedia

Abductive Logic Programming

Abductive Logic Programming is a form of logic programming that extends deductive logic programming by incorporating abductive reasoning, enabling the derivation of plausible hypotheses to explain observed facts within a given logical theory.

93

Publications

5.5K

Citations

143

Authors

60

Institutions

Publications per year

2017–2026

5

Parents

Publications

93

Inductive logic programming

Stephen Muggleton · New Generation Computing · 1991 · 945 citations

, , +16

Logic programming and negation: A survey

Krzysztof R. Apt, Roland Bol · The Journal of Logic Programming · 1994 · 421 citations

, , +11

Abduction Compared with Negation by Failure.

Kave Eshghi, Robert Kowalski · International Conference on Lightning Protection · 1989 · 273 citations

, , +13

Declarative specification and verification of service choreographiess

Marco Montali, Maja Pešić, Wil M. P. van der Aalst et al. · ACM Transactions on the Web · 2010 · 238 citations

, , +16

The IFF proof procedure for abductive logic programming

Tze Ho Fung, Robert Kowalski · The Journal of Logic Programming · 1997 · 195 citations

, , +10

1–5 of 93

Authors

143

  1. PM
    Paola Mello

    University of Bologna, Italy

    9 publications · 583 citations

    9

    h-index

  2. EL
    Evelina Lamma

    University of Ferrara, Italy

    9 publications · 315 citations

    9

    h-index

  3. MG
    Marco Gavanelli

    University of Ferrara, Italy

    7 publications · 284 citations

    7

    h-index

  4. LM
    Luı́s Moniz Pereira

    Universidade Nova de Lisboa, Portugal

    7 publications · 167 citations

    7

    h-index

  5. CS
    Chiaki Sakama

    Wakayama University, Japan

    7 publications · 167 citations

    7

    h-index

1–5 of 143

Institutions

60

  1. University of Ferrara

    Ferrara, Italy

    10 h-index

    25 publications

    1.1K citations

  2. University of Bologna

    Bologna, Italy

    9 h-index

    29 publications

    1.9K citations

  3. Universidade Nova de Lisboa

    Lisbon, Portugal

    8 h-index

    10 publications

    247 citations

  4. Imperial College London

    London, United Kingdom

    6 h-index

    10 publications

    366 citations

  5. University of Cyprus

    Nicosia, Cyprus

    6 h-index

    9 publications

    532 citations

  6. KU Leuven

    Leuven, Belgium

    5 h-index

    9 publications

    513 citations

  7. Wakayama University

    Wakayama, Japan

    5 h-index

    5 publications

    94 citations

  8. TU Wien

    Vienna, Austria

    3 h-index

    8 publications

    520 citations

1–8 of 60

Venues

  1. The Journal of Logic Programming

    13 publications · 1.2K citations

    12

    h-index

  2. Theory and Practice of Logic Programming

    4 publications · 165 citations

    4

    h-index

  3. 3

    h-index

  4. Lirias (KU Leuven)

    Repository · 3 publications · 151 citations

    3

    h-index

  5. Logic Journal of IGPL

    3 publications · 81 citations

    3

    h-index

1–5