News91: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Jonas Karge (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen. |Titel EN=Bartosz Bednarczyk wins the best student paper awa…“) |
Jonas Karge (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 6: | Zeile 6: | ||
|Beschreibung EN=Congratulations to Bartosz Bednarczyk of the Computational Logic Group at the ICCL for winning the best student paper award at the European Conference on Logics in Artificial Intelligence ([https://jelia2023.inf.tu-dresden.de/ JELIA 2023])! After having won the best student paper award at [https://iccl.inf.tu-dresden.de/web/News58/en JELIA 2021], it is the second time that Bartosz contribution to JELIA has been honored. | |Beschreibung EN=Congratulations to Bartosz Bednarczyk of the Computational Logic Group at the ICCL for winning the best student paper award at the European Conference on Logics in Artificial Intelligence ([https://jelia2023.inf.tu-dresden.de/ JELIA 2023])! After having won the best student paper award at [https://iccl.inf.tu-dresden.de/web/News58/en JELIA 2021], it is the second time that Bartosz contribution to JELIA has been honored. | ||
This year's work "[https://iccl.inf.tu-dresden.de/web/Inproceedings3359/en Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features]" | This year's work "[https://iccl.inf.tu-dresden.de/web/Inproceedings3359/en Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features]" investigates the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics, establishing several undecidability results. | ||
investigates the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics, establishing several undecidability results. | |||
|URL=https://link.springer.com/chapter/10.1007/978-3-031-43619-2_21 | |URL=https://link.springer.com/chapter/10.1007/978-3-031-43619-2_21 | ||
|Datum=2023/10/20 | |Datum=2023/10/20 | ||
|Bild=Bart award signed.pdf | |Bild=Bart award signed.pdf | ||
}} | }} | ||
Aktuelle Version vom 20. Oktober 2023, 17:40 Uhr
Neuigkeit vom 20. Oktober 2023
Bartosz Bednarczyk hat den Best Student Paper Award der JELIA 2023 gewonnen.
Herzlichen Glückwunsch an Bartosz Bednarczyk der Computational Logic Group am ICCL für das Gewinnen des Best Student Paper Awards der European Conference on Logics in Artificial Intelligence (JELIA 2023)! Damit ist es das zweite Mal, dass Bartosz mit diesem Preis der JELIA ausgzeichnet wird, nachdem sein Beitrag zur JELIA 2021 bereits ausgezeichnet wurde.
Sein diesjähriger Beitrag mit dem Titel "Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features" beschäftigt sich damit, wie sich sogenannte non-regular path expressions auf die Entscheidbarkeit von spezifischen Beschreibungslogiken auswirken.
- Weitere Infos unter: https://link.springer.com/chapter/10.1007/978-3-031-43619-2_21
