Concepedia

Logic Program Verification

Logic Program Verification is a formal method for proving the correctness of logic programs with respect to a given specification by systematically establishing that the program's declarative semantics logically entail the intended properties.

83

Publications

4K

Citations

149

Authors

74

Institutions

Publications per year

2017–2026

7

Parents

Publications

83

Strongly equivalent logic programs

Vladimir Lifschitz, David Pearce, Agustín Valverde · ACM Transactions on Computational Logic · 2001 · 535 citations

, , +16

ASSAT: computing answer sets of a logic program by SAT solvers

Fangzhen Lin, Yuting Zhao · Artificial Intelligence · 2004 · 423 citations

, , +12

Signed data dependencies in logic programs

Kenneth Kunen · The Journal of Logic Programming · 1989 · 181 citations

, , +13

Proceedings 39th International Conference on Logic Programming

Jorge Fandinno, Zachary Hansen, Yuliya Lierler · Electronic Proceedings in Theoretical Computer Science · 2023 · 163 citations · Full text

, , +16

Automatic mode inference for logic programs

Saumya Debray, David S. Warren · The Journal of Logic Programming · 1988 · 136 citations

, , +13

1–5 of 83

Authors

149

  1. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    6 publications · 266 citations

    6

    h-index

  2. GL
    Giorgio Levi

    University of Pisa, Italy

    4 publications · 53 citations

    4

    h-index

  3. KN
    Kazumi Nakamatsu

    University of Hyogo, Japan

    4 publications · 84 citations

    4

    h-index

  4. WD
    Włodzimierz Drabent

    Linköping University, Sweden

    3 publications · 154 citations

    3

    h-index

  5. JM
    Jair Minoro Abe

    Universidade Paulista, Brazil

    3 publications · 64 citations

    3

    h-index

1–5 of 149

Institutions

74

  1. Universidad Politécnica de Madrid

    Madrid, Spain

    6 h-index

    14 publications

    460 citations

  2. University of Pisa

    Pisa, Italy

    5 h-index

    10 publications

    223 citations

  3. Linköping University

    Linköping, Sweden

    3 h-index

    3 publications

    154 citations

  4. Polish Academy of Sciences

    Warsaw, Poland

    3 h-index

    3 publications

    154 citations

  5. University of Nebraska at Omaha

    Omaha, United States

    3 h-index

    4 publications

    500 citations

  6. Ben-Gurion University of the Negev

    Beersheba, Israel

    3 h-index

    5 publications

    309 citations

  7. The University of Texas at Austin

    Austin, United States

    3 h-index

    2 publications

    564 citations

  8. Centrum Wiskunde & Informatica

    Amsterdam, The Netherlands

    3 h-index

    5 publications

    90 citations

1–8 of 74

Venues

  1. The Journal of Logic Programming

    13 publications · 882 citations

    13

    h-index

  2. Theory and Practice of Logic Programming

    8 publications · 172 citations

    9

    h-index

  3. Theoretical Computer Science

    5 publications · 281 citations

    5

    h-index

  4. International Conference on Lightning Protection

    Conference · 4 publications · 129 citations

    4

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 3 publications · 585 citations

    3

    h-index

1–5