Concepedia

Existential Positive Logic

Existential Positive Logic is a fragment of first-order logic that consists exclusively of formulas formed by existential quantification and conjunction over atomic formulas, distinguishing it from other fragments by its restriction to positive (negation-free) and existentially quantified expressions.

22

Publications

711

Citations

42

Authors

37

Institutions

Publications per year

2017–2026

2

Parents

Publications

22

Homomorphism preservation theorems

Benjamin Rossman · Journal of the ACM · 2008 · 136 citations

, , +8

On preservation under homomorphisms and unions of conjunctive queries

Albert Atserias, Anuj Dawar, Phokion G. Kolaitis · Journal of the ACM · 2006 · 70 citations

, , +12

DL-lite in the light of first-order logic

Alessandro Artale, Diego Calvanese, Roman Kontchakov et al. · BIROn (Birkbeck, University of London) · 2007 · 64 citations · Full text

, , +16

Existential Positive Types and Preservation under Homomorphisisms

Benjamin Rossman · 2006 · 64 citations

, , +11

Homomorphism closed vs. existential positive

T. Feder, Moshe Y. Vardi · 2003 · 42 citations

, , +10

1–5 of 22

Authors

42

  1. HC
    Hubie Chen

    Universitat Pompeu Fabra, Spain

    3 publications · 67 citations

    3

    h-index

  2. PG
    Phokion G. Kolaitis

    University of California, Santa Cruz, United States

    2 publications · 86 citations

    2

    h-index

  3. AD
    Anuj Dawar

    University of Cambridge, United Kingdom

    2 publications · 86 citations

    2

    h-index

  4. BT
    Balder ten Cate

    University of California, Santa Cruz, United States

    2 publications · 29 citations

    2

    h-index

  5. AA
    Albert Atserias

    Universitat Politècnica de Catalunya, Spain

    2 publications · 86 citations

    2

    h-index

1–5 of 42

Institutions

37

  1. Centre National de la Recherche Scientifique

    Paris, France

    3 h-index

    7 publications

    193 citations

  2. University of the Basque Country

    Leioa, Spain

    3 h-index

    3 publications

    67 citations

  3. University of California, Santa Cruz

    Santa Cruz, United States

    3 h-index

    3 publications

    45 citations

  4. Universitat Politècnica de Catalunya

    Barcelona, Spain

    2 h-index

    2 publications

    86 citations

  5. Free University of Bozen-Bolzano

    Bolzano, Italy

    2 h-index

    3 publications

    151 citations

  6. University of Oxford

    Oxford, United Kingdom

    2 h-index

    3 publications

    41 citations

  7. University of Crete

    Rethymno, Greece

    2 h-index

    2 publications

    30 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    86 citations

1–8 of 37

Venues

  1. Journal of the ACM

    JACM · 2 publications · 206 citations

    2

    h-index

  2. Mathematical logic quarterly

    MLQ · 2 publications · 25 citations

    2

    h-index

  3. Journal of Symbolic Logic

    2 publications · 27 citations

    2

    h-index

  4. Logic Journal of IGPL

    1 publications · 20 citations

    1

    h-index

  5. International Joint Conference on Artificial Intelligence

    Conference · 1 publications · 28 citations

    1

    h-index

1–5