Concepedia

Fixpoint Extensions

Fixpoint Extensions is a formal mechanism in description logics that extends standard knowledge representation by enabling the definition of concepts through least or greatest fixpoint semantics, thereby allowing the expression of recursive and inductive or coinductive definitions within the logical framework.

16

Publications

678

Citations

32

Authors

27

Institutions

Publications per year

2017–2026

0

Parents

Publications

16

Making abstract interpretations complete

Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari · Journal of the ACM · 2000 · 253 citations · Full text

, , +10

Fixpoint extensions of first-order logic and datalog-like languages

Serge Abiteboul, Victor Vianu · 2003 · 90 citations

, , +13

The deductive database system [Lscr ][Dscr ][Lscr ]++

Faiz Arni, KayLiang Ong, Shalom Tsur⋆ et al. · Theory and Practice of Logic Programming · 2002 · 65 citations

, , +16

One-point extensions and derived equivalence

Michael Barot, Helmut Lenzing · Journal of Algebra · 2003 · 47 citations

, , +2

CR extension near a point of higher type

Al Boggess, Jon T. Pitts · Duke Mathematical Journal · 1985 · 27 citations

, , +2

1–5 of 16

Authors

32

  1. FG
    Françoise Gire

    Université Paris Cité, France

    1 publications · 20 citations

    1

    h-index

  2. FS
    Francesca Scozzari

    University of Chieti-Pescara, Italy

    1 publications · 253 citations

    1

    h-index

  3. FM
    Franco Montagna

    University of Siena, Italy

    1 publications · 26 citations

    1

    h-index

  4. FA
    Faiz Arni

    IBM (United States), United States

    1 publications · 65 citations

    1

    h-index

  5. TI
    Tomasz Imieliński

    Rutgers, The State University of New Jersey, United States

    1 publications · 16 citations

    1

    h-index

1–5 of 32

Institutions

27

  1. Free University of Bozen-Bolzano

    Bolzano, Italy

    2 h-index

    2 publications

    26 citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    1 h-index

    1 publications

    16 citations

  3. Rice University

    Houston, United States

    1 h-index

    2 publications

    24 citations

  4. The University of Tokyo

    Tokyo, Japan

    1 h-index

    1 publications

    23 citations

  5. Nokia (United States)

    Coppell, United States

    1 h-index

    1 publications

    20 citations

  6. California University of Pennsylvania

    California, United States

    1 h-index

    1 publications

    18 citations

  7. Health First

    Rockledge, United States

    1 h-index

    1 publications

    65 citations

  8. Detection Limit (United States)

    Laramie, United States

    1 h-index

    1 publications

    65 citations

1–8 of 27

Venues

  1. International Joint Conference on Artificial Intelligence

    Conference · 1 publications · 18 citations

    1

    h-index

  2. Journal of Logic and Computation

    1 publications · 17 citations

    1

    h-index

  3. Computational Intelligence

    1 publications · 12 citations

    1

    h-index

  4. Journal of Algebra

    1 publications · 47 citations

    1

    h-index

  5. Journal of the ACM

    JACM · 1 publications · 253 citations

    1

    h-index

1–5