Benutzerbeiträge von „Bartosz Bednarczyk“

31. März 2025

• 09:4909:49, 31. Mär. 2025 Unterschied Versionen +25 Bytes‎ N Article3104/en ‎ Page created automatically by parser function on page Article3104 aktuell Markierung: Neue Weiterleitung
• 09:4909:49, 31. Mär. 2025 Unterschied Versionen +465 Bytes‎ N Article3104 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Julien Grange }} {{Article |Referiert=0 |Title=About the Expressive Power and Complexity of Order-Invariance with Two Variables |To appear=0 |Year=2025 |Month=März |Journal=Logical Methods in Computer Science |Volume=21 |Number=1 |Pages=30:1--30:28 }} {{Publikation Details |Download=Lmcs-bbe-grange.pdf |Projekt=DeciGUT |Forschungsgruppe=Computational Lo…“ aktuell
• 09:4909:49, 31. Mär. 2025 Unterschied Versionen 0 Bytes‎ N Datei:Lmcs-bbe-grange.pdf ‎Keine Bearbeitungszusammenfassung aktuell

22. Oktober 2024

• 07:1607:16, 22. Okt. 2024 Unterschied Versionen +67 Bytes‎ Inproceedings3378 ‎Keine Bearbeitungszusammenfassung aktuell

30. September 2024

• 22:1422:14, 30. Sep. 2024 Unterschied Versionen 0 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung aktuell

14. August 2024

• 11:2211:22, 14. Aug. 2024 Unterschied Versionen +1 Byte‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung aktuell

13. August 2024

• 15:4515:45, 13. Aug. 2024 Unterschied Versionen −1 Byte‎ Piotr Ostropolski-Nalewaja ‎Keine Bearbeitungszusammenfassung

9. August 2024

• 05:1205:12, 9. Aug. 2024 Unterschied Versionen +2 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung
• 05:1005:10, 9. Aug. 2024 Unterschied Versionen −17 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung
• 05:0905:09, 9. Aug. 2024 Unterschied Versionen +20 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung
• 05:0905:09, 9. Aug. 2024 Unterschied Versionen 0 Bytes‎ N Datei:Bart-personal-2.jpg ‎Keine Bearbeitungszusammenfassung aktuell

19. Juli 2024

• 20:1320:13, 19. Jul. 2024 Unterschied Versionen +65 Bytes‎ Phdthesis3021 ‎Keine Bearbeitungszusammenfassung aktuell

27. Juni 2024

• 15:0815:08, 27. Jun. 2024 Unterschied Versionen +3 Bytes‎ Phdthesis3021 ‎Keine Bearbeitungszusammenfassung
• 15:0715:07, 27. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:BBE-thesis-final.pdf ‎Keine Bearbeitungszusammenfassung aktuell

25. Juni 2024

• 08:1808:18, 25. Jun. 2024 Unterschied Versionen +42 Bytes‎ Phdthesis3021 ‎Keine Bearbeitungszusammenfassung
• 08:1808:18, 25. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:Bednarczyk-PhD-Defense-Slides.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 05:2805:28, 25. Jun. 2024 Unterschied Versionen +24 Bytes‎ PhD Defense of Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung aktuell

18. Juni 2024

• 13:4113:41, 18. Jun. 2024 Unterschied Versionen +20 Bytes‎ N PhD Defense of Bartosz Bednarczyk/en ‎ Page created automatically by parser function on page PhD Defense of Bartosz Bednarczyk aktuell
• 13:4113:41, 18. Jun. 2024 Unterschied Versionen +811 Bytes‎ N PhD Defense of Bartosz Bednarczyk ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=PhD Defense of Bartosz Bednarczyk |Beschreibung EN=The public defence of the doctoral dissertation titled "Database-Inspired Reasoning Problems in Description Logics With Path Expressions" by Bartosz Bednarczyk (supervised by prof. Sebastian Rudolph and prof. Emanuel Kieroński) will take place on the 25th of June at 01:30 p.m. (APB 1004). The draft of the thesis is available here: https://iccl.inf.tu-dresden.de/web/Phdthesi…“
• 12:1712:17, 18. Jun. 2024 Unterschied Versionen +27 Bytes‎ N Phdthesis3021/en ‎ Page created automatically by parser function on page Phdthesis3021 aktuell Markierung: Neue Weiterleitung
• 12:1712:17, 18. Jun. 2024 Unterschied Versionen +357 Bytes‎ N Phdthesis3021 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Phdthesis |Title=Database-Inspired Reasoning Problems in Description Logics With Path Expressions |Date=2024/06/25 |School=Technischen Universitat Dresden }} {{Publikation Details |Download=thesis-BBE-v1.pdf |Projekt=DeciGUT |Forschungsgruppe=Computational Logic }}“
• 12:1512:15, 18. Jun. 2024 Unterschied Versionen 0 Bytes‎ N Datei:Thesis-BBE-v1.pdf ‎Keine Bearbeitungszusammenfassung aktuell

13. Juni 2024

• 10:5310:53, 13. Jun. 2024 Unterschied Versionen +54 Bytes‎ Data Complexity in Expressive Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung aktuell

19. Mai 2024

• 14:4014:40, 19. Mai 2024 Unterschied Versionen +29 Bytes‎ Inproceedings3378 ‎Keine Bearbeitungszusammenfassung
• 14:4014:40, 19. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:BBE-IJCAI-2024.pdf ‎Keine Bearbeitungszusammenfassung aktuell

14. Mai 2024

• 19:1019:10, 14. Mai 2024 Unterschied Versionen +105 Bytes‎ Article3097 ‎Keine Bearbeitungszusammenfassung aktuell
• 19:0919:09, 14. Mai 2024 Unterschied Versionen 0 Bytes‎ N Datei:2307.09913.pdf ‎Keine Bearbeitungszusammenfassung aktuell

17. April 2024

• 10:5310:53, 17. Apr. 2024 Unterschied Versionen +25 Bytes‎ N Article3097/en ‎ Page created automatically by parser function on page Article3097 aktuell Markierung: Neue Weiterleitung
• 10:5310:53, 17. Apr. 2024 Unterschied Versionen +1.657 Bytes‎ N Article3097 ‎ 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…“
• 10:4910:49, 17. Apr. 2024 Unterschied Versionen +31 Bytes‎ N Inproceedings3378/en ‎ Page created automatically by parser function on page Inproceedings3378 aktuell Markierung: Neue Weiterleitung
• 10:4910:49, 17. Apr. 2024 Unterschied Versionen +943 Bytes‎ N Inproceedings3378 ‎ 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…“

16. November 2023

• 10:4410:44, 16. Nov. 2023 Unterschied Versionen +153 Bytes‎ Article3095 ‎Keine Bearbeitungszusammenfassung
• 10:4410:44, 16. Nov. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBESRU2023JAIR-final.pdf ‎Keine Bearbeitungszusammenfassung aktuell

29. September 2023

• 08:3608:36, 29. Sep. 2023 Unterschied Versionen +148 Bytes‎ Inproceedings3359 ‎Keine Bearbeitungszusammenfassung aktuell

24. September 2023

• 20:2020:20, 24. Sep. 2023 Unterschied Versionen +30 Bytes‎ Article3095 ‎Keine Bearbeitungszusammenfassung
• 20:2020:20, 24. Sep. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-SR-JAIR2023.pdf ‎Keine Bearbeitungszusammenfassung aktuell

23. September 2023

• 23:3523:35, 23. Sep. 2023 Unterschied Versionen +25 Bytes‎ N Article3095/en ‎ Page created automatically by parser function on page Article3095 aktuell Markierung: Neue Weiterleitung
• 23:3523:35, 23. Sep. 2023 Unterschied Versionen +2.243 Bytes‎ N Article3095 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Sebastian Rudolph }} {{Article |Referiert=0 |Title=How t…“

21. Juli 2023

• 11:0811:08, 21. Jul. 2023 Unterschied Versionen −2 Bytes‎ News88 ‎Keine Bearbeitungszusammenfassung

19. Juli 2023

• 12:3612:36, 19. Jul. 2023 Unterschied Versionen −28 Bytes‎ Inproceedings3359 ‎Keine Bearbeitungszusammenfassung
• 12:3612:36, 19. Jul. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-JELIA23-FINAL.pdf ‎Keine Bearbeitungszusammenfassung aktuell

13. Juli 2023

• 17:1617:16, 13. Jul. 2023 Unterschied Versionen −4 Bytes‎ Inproceedings3359 ‎Keine Bearbeitungszusammenfassung
• 17:1617:16, 13. Jul. 2023 Unterschied Versionen 0 Bytes‎ N Datei:Jelia2023-v2.pdf ‎Keine Bearbeitungszusammenfassung aktuell

12. Juli 2023

• 12:1112:11, 12. Jul. 2023 Unterschied Versionen +3 Bytes‎ Inproceedings3359 ‎Keine Bearbeitungszusammenfassung
• 12:1112:11, 12. Jul. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-JELIA2023-v1.pdf ‎Keine Bearbeitungszusammenfassung aktuell

10. Juli 2023

• 22:3322:33, 10. Jul. 2023 Unterschied Versionen −2 Bytes‎ Inproceedings3359 ‎Keine Bearbeitungszusammenfassung
• 22:3222:32, 10. Jul. 2023 Unterschied Versionen +31 Bytes‎ N Inproceedings3359/en ‎ Page created automatically by parser function on page Inproceedings3359 aktuell Markierung: Neue Weiterleitung
• 22:3222:32, 10. Jul. 2023 Unterschied Versionen +1.459 Bytes‎ N Inproceedings3359 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=Beyond ALCreg: Exploring Non-Regu…“
• 22:3122:31, 10. Jul. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-JELIA2023.pdf ‎Keine Bearbeitungszusammenfassung aktuell
• 21:2121:21, 10. Jul. 2023 Unterschied Versionen +12 Bytes‎ How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. ‎Keine Bearbeitungszusammenfassung aktuell