Ä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
19. April 2024
10:37 | Inproceedings3315 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) |
10:36 | Inproceedings3316 UnterschiedVersionen 0 Bytes Filippo De Bortoli Diskussion Beiträge (Changes author order.) |
18. April 2024
14:55 | Inproceedings3377 UnterschiedVersionen +126 Bytes Filippo De Bortoli Diskussion Beiträge (→SAC '24: adds PDF file.) |
17. April 2024
N 10:53 | Article3097 UnterschiedVersionen +1.657 Bytes Bartosz Bednarczyk Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Article |Referiert=0 |Title=Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features. |To appear=1 |Year=2024 |Month=Mai |Journal=Logical Methods in Computer Science }} {{Publikation Details |Abstract=We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in descr…“) |
N 10:49 | Inproceedings3378 UnterschiedVersionen +943 Bytes Bartosz Bednarczyk Diskussion Beiträge (Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=Data Complexity in Expressive Description Logics With Path Expressions |To appear=1 |Year=2024 |Month=August |Booktitle=Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 |Publisher=ijcai.org }} {{Publikation Details |Abstract=We investigate the data complexity of the satisfiability proble…“) |
15. April 2024
N 14:13 | Inproceedings3377 UnterschiedVersionen +2.862 Bytes Filippo De Bortoli Diskussion Beiträge (Adds publication by Baader and De Bortoli in SAC '24.) |