Concepedia

Logic Program Synthesis

Logic Program Synthesis is the formal method of automatically constructing logic programs from specifications or examples by inferring logical rules that satisfy intended relational and declarative semantics.

67

Publications

2.3K

Citations

126

Authors

65

Institutions

Publications per year

2017–2026

3

Parents

Publications

67

Transformation of logic programs: Foundations and techniques

Alberto Pettorossi, Maurizio Proietti · The Journal of Logic Programming · 1994 · 208 citations

, , +11

Why are there so many loop formulas?

Vladimir Lifschitz, Alexander Razborov · ACM Transactions on Computational Logic · 2006 · 140 citations

, , +15

Automatic mode inference for logic programs

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

, , +13

Logic programs and connectionist networks

Pascal Hitzler, Steffen Hölldobler, Anthony Karel Seda · Journal of Applied Logic · 2004 · 102 citations

, , +10

Towards an Algebra for Constructing Logic Programs.

Richard O’Keefe · SLP · 1985 · 71 citations

, , +9

1–5 of 67

Authors

126

  1. AP
    Alberto Pettorossi

    University of Rome Tor Vergata, Italy

    4 publications · 268 citations

    4

    h-index

  2. MP
    Maurizio Proietti

    Istituto di Analisi dei Sistemi ed Informatica Antonio Ruberti, Italy

    4 publications · 268 citations

    4

    h-index

  3. PF
    Pierre Flener

    Uppsala University, Sweden

    3 publications · 91 citations

    3

    h-index

  4. JY
    Jia-Huai You

    University of Alberta, Canada

    3 publications · 102 citations

    3

    h-index

  5. VL
    Vladimir Lifschitz

    The University of Texas at Austin, United States

    3 publications · 163 citations

    3

    h-index

1–5 of 126

Institutions

65

  1. Uppsala University

    Uppsala, Sweden

    3 h-index

    3 publications

    77 citations

  2. University of Edinburgh

    Edinburgh, United Kingdom

    3 h-index

    4 publications

    84 citations

  3. Ajou University

    Suwon, South Korea

    2 h-index

    7 publications

    161 citations

  4. University of Warsaw

    Warsaw, Poland

    2 h-index

    2 publications

    39 citations

  5. Technische Universität Dresden

    Dresden, Germany

    2 h-index

    3 publications

    232 citations

  6. The University of Texas at El Paso

    El Paso, United States

    2 h-index

    2 publications

    23 citations

  7. Imperial College London

    London, United Kingdom

    2 h-index

    3 publications

    80 citations

  8. Stanford University

    Stanford, United States

    2 h-index

    2 publications

    23 citations

1–8 of 65

Venues

  1. The Journal of Logic Programming

    9 publications · 549 citations

    9

    h-index

  2. SLP

    4 publications · 156 citations

    4

    h-index

  3. Edinburgh Research Explorer

    Repository · 2 publications · 39 citations

    2

    h-index

  4. Fundamenta Informaticae

    2 publications · 31 citations

    2

    h-index

  5. National Conference on Artificial Intelligence

    Conference · 2 publications · 23 citations

    2

    h-index

1–5