Temporal Description Logic

Temporal Description Logic is a formal knowledge representation framework that extends Description Logic with temporal modalities to enable the specification and reasoning about dynamically changing conceptual knowledge over time.

76

Publications

2.9K

Citations

129

Authors

69

Institutions

Publications per year

2017–2026

9

Authors

129

  1. AA
    Alessandro Artale

    Free University of Bozen-Bolzano, Italy

    11 publications · 479 citations

    10

    h-index

  2. MZ
    Michael Zakharyaschev

    Birkbeck, University of London, United Kingdom

    6 publications · 474 citations

    6

    h-index

  3. EF
    Enrico Franconi

    Free University of Bozen-Bolzano, Italy

    5 publications · 204 citations

    5

    h-index

  4. RK
    Roman Kontchakov

    Birkbeck, University of London, United Kingdom

    5 publications · 276 citations

    5

    h-index

  5. CL
    Carsten Lutz

    University of Bremen, Germany

    5 publications · 401 citations

    5

    h-index

1–5 of 129

Venues

  1. ORCA Online Research @Cardiff (Cardiff University)

    Repository · 3 publications · 60 citations

    3

    h-index

  2. ACM Transactions on Computational Logic

    TOCL · 2 publications · 156 citations

    2

    h-index

  3. BIROn (Birkbeck, University of London)

    Repository · 2 publications · 82 citations

    2

    h-index

  4. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 2 publications · 91 citations

    2

    h-index

  5. Journal of Artificial Intelligence Research

    JAIR · 2 publications · 202 citations

    2

    h-index

1–5