Concepedia

Logic Program Optimization

Logic Program Optimization is a methodological framework within declarative computing that enhances the efficiency and efficacy of logic programs by systematically transforming their syntactic and semantic structures while preserving their logical meaning.

44

Publications

1.5K

Citations

85

Authors

45

Institutions

Publications per year

2017–2026

3

Parents

Publications

44

Logic programming on a neural network

Wan Ahmad Tajuddin Wan Abdullah · International Journal of Intelligent Systems · 1992 · 171 citations

, , +10

Decidable optimization problems for database logic programs

Stavros S. Cosmadakis, Haim Gaifman, Paris C. Kanellakis et al. · 1988 · 154 citations · Full text

, , +14

Unfolding-definition-folding, in this order, for avoiding unnecessary variables in logic programs

Maurizio Proietti, Alberto Pettorossi · Theoretical Computer Science · 1995 · 74 citations

, , +4

Undecidable optimization problems for database logic programs

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv et al. · Journal of the ACM · 1993 · 74 citations · Full text

, , +6

Functional computations in logic programs

Saumya Debray, David S. Warren · ACM Transactions on Programming Languages and Systems · 1989 · 73 citations · Full text

, , +9

1–5 of 44

Authors

85

  1. SD
    S. Debray

    University of Arizona, United States

    3 publications · 59 citations

    3

    h-index

  2. DS
    David S. Warren

    Stony Brook University, United States

    3 publications · 107 citations

    3

    h-index

  3. HG
    Haim Gaifman

    Hebrew University of Jerusalem, Israel

    3 publications · 275 citations

    3

    h-index

  4. MY
    Moshe Y. Vardi

    Rice University, United States

    3 publications · 275 citations

    3

    h-index

  5. SS
    Stavros S. Cosmadakis

    IBM Research - Thomas J. Watson Research Center, United States

    2 publications · 201 citations

    2

    h-index

1–5 of 85

Institutions

45

  1. University of Arizona

    Tucson, United States

    5 h-index

    5 publications

    144 citations

  2. Hebrew University of Jerusalem

    Jerusalem, Israel

    3 h-index

    4 publications

    331 citations

  3. Stony Brook University

    Stony Brook, United States

    3 h-index

    9 publications

    207 citations

  4. University of Calabria

    Rende, Italy

    3 h-index

    6 publications

    157 citations

  5. Imperial College London

    London, United Kingdom

    2 h-index

    4 publications

    54 citations

  6. State University of New York

    Albany, United States

    2 h-index

    2 publications

    102 citations

  7. TU Wien

    Vienna, Austria

    2 h-index

    7 publications

    227 citations

  8. IBM Research - Almaden

    San Jose, United States

    2 h-index

    2 publications

    228 citations

1–8 of 45

Venues

  1. Theory and Practice of Logic Programming

    3 publications · 69 citations

    3

    h-index

  2. Journal of the ACM

    JACM · 3 publications · 98 citations

    3

    h-index

  3. Journal of Logic and Computation

    2 publications · 30 citations

    2

    h-index

  4. The Journal of Logic Programming

    2 publications · 39 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 114 citations

    2

    h-index

1–5