Änderungen an verlinkten Seiten
Aus International Center for Computational Logic
Gib einen Seitennamen ein, um Änderungen auf Seiten zu sehen, die auf oder von dieser Seite verlinkt sind. Um Mitglieder einer Kategorie zu sehen, gib „Kategorie:Name der Kategorie“ ein. Änderungen an Seiten auf deiner Beobachtungsliste sind fett hervorgehoben.
Liste von Abkürzungen:
- N
- Neue Seite (siehe auch die Liste neuer Seiten)
- K
- Kleine Änderung
- B
- Änderung durch einen Bot
- (±123)
- Die Änderung der Seitengröße in Bytes
1. Mai 2024
N 10:57 | Data Complexity in Expressive Description Logics With Path Expressions UnterschiedVersionen +828 Bytes Lukas Gerlach Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=Data Complexity in Expressive Description Logics With Path Expressions |Beschreibung EN=In my recent IJCAI paper I established NP-completeness of the satisfiability problem (w.r.t. the data complexity) of the maximal known decidable fragments ZIQ, ZOQ, and ZOI of the very description logic ZOIQ (a.k.a. ALCHb^self_regOIQ). The proof uniformly deals with these three logics, by considering the DL ZOIQ but over forest-like structure…“) |
29. April 2024
10:13 | Chase Termination Beyond Polynomial Time UnterschiedVersionen 0 Bytes Lukas Gerlach Diskussion Beiträge |