Concepedia

Concurrent Logic Programming

Concurrent Logic Programming is a parallel computational paradigm within logic programming that integrates declarative programming with concurrent execution by extending Horn clause logic with multiple clause bodies to enable guarded, non-deterministic rule selection and synchronization through committed choice.

135

Publications

4.9K

Citations

198

Authors

84

Institutions

Publications per year

2017–2026

2

Parents

Publications

135

1–5 of 135

Authors

198

  1. MV
    Manuel V. Hermenegildo

    Universidad Politécnica de Madrid, Spain

    11 publications · 461 citations

    11

    h-index

  2. LV
    Laxmikant V. Kalé

    University of Illinois Urbana-Champaign, United States

    5 publications · 95 citations

    5

    h-index

  3. VS
    Vijay Saraswat

    Palo Alto Research Center, United States

    5 publications · 358 citations

    5

    h-index

  4. ET
    Evan Tick

    University of Oregon, United States

    4 publications · 82 citations

    4

    h-index

  5. SD
    Saumya Debray

    University of Arizona, United States

    4 publications · 292 citations

    4

    h-index

1–5 of 198

Institutions

84

  1. Weizmann Institute of Science

    Rehovot, Israel

    6 h-index

    8 publications

    433 citations

  2. University of Pisa

    Pisa, Italy

    5 h-index

    8 publications

    209 citations

  3. Universidad Politécnica de Madrid

    Madrid, Spain

    4 h-index

    6 publications

    302 citations

  4. The University of Texas at Austin

    Austin, United States

    4 h-index

    6 publications

    172 citations

  5. Palo Alto Research Center

    Palo Alto, United States

    4 h-index

    9 publications

    256 citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    7 publications

    200 citations

  7. National University of Singapore

    Singapore, Singapore

    4 h-index

    5 publications

    214 citations

  8. University of Arizona

    Tucson, United States

    3 h-index

    5 publications

    437 citations

1–8 of 84

Venues

  1. International Conference on Lightning Protection

    Conference · 8 publications · 193 citations

    8

    h-index

  2. The Journal of Logic Programming

    5 publications · 196 citations

    5

    h-index

  3. UPM Digital Archive (Technical University of Madrid)

    Repository · 5 publications · 146 citations

    5

    h-index

  4. Theory and Practice of Logic Programming

    4 publications · 77 citations

    4

    h-index

  5. Future Generation Computer Systems

    FGCS · 4 publications · 68 citations

    4

    h-index

1–5