Benutzerbeiträge von „Bartosz Bednarczyk“

11. Juli 2025

• 06:3006:30, 11. Jul. 2025 Unterschied Versionen +1.531 N Article3109 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk |FurtherAuthors=Daumantas Kojelis; Ian Pratt-Hartmann }} {{Article |Referiert=0 |Title=The Adjacent Fragment and Quine’s Limits of Decision |To appear=1 |Year=2025 |Journal=Journal of Logic and Computation }} {{Publikation Details |Abstract=We introduce the adjacent fragment AF of first-order logic, obtained by restricting the sequences of variables occurring as argum…“ aktuell
• 06:2906:29, 11. Jul. 2025 Unterschied Versionen 0 N Datei:Adjacent-fragment.pdf Keine Bearbeitungszusammenfassung aktuell

31. März 2025

• 07:4907:49, 31. Mär. 2025 Unterschied Versionen +25 N Article3104/en Page created automatically by parser function on page Article3104 aktuell Markierung: Neue Weiterleitung
• 07:4907:49, 31. Mär. 2025 Unterschied Versionen +465 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
• 07:4907:49, 31. Mär. 2025 Unterschied Versionen 0 N Datei:Lmcs-bbe-grange.pdf Keine Bearbeitungszusammenfassung aktuell

22. Oktober 2024

• 05:1605:16, 22. Okt. 2024 Unterschied Versionen +67 Inproceedings3378 Keine Bearbeitungszusammenfassung aktuell

30. September 2024

• 20:1420:14, 30. Sep. 2024 Unterschied Versionen 0 Bartosz Bednarczyk Keine Bearbeitungszusammenfassung aktuell

14. August 2024

• 09:2209:22, 14. Aug. 2024 Unterschied Versionen +1 Piotr Ostropolski-Nalewaja Keine Bearbeitungszusammenfassung

13. August 2024

• 13:4513:45, 13. Aug. 2024 Unterschied Versionen −1 Piotr Ostropolski-Nalewaja Keine Bearbeitungszusammenfassung

9. August 2024

• 03:1203:12, 9. Aug. 2024 Unterschied Versionen +2 Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
• 03:1003:10, 9. Aug. 2024 Unterschied Versionen −17 Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
• 03:0903:09, 9. Aug. 2024 Unterschied Versionen +20 Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
• 03:0903:09, 9. Aug. 2024 Unterschied Versionen 0 N Datei:Bart-personal-2.jpg Keine Bearbeitungszusammenfassung aktuell

19. Juli 2024

• 18:1318:13, 19. Jul. 2024 Unterschied Versionen +65 Phdthesis3021 Keine Bearbeitungszusammenfassung aktuell

27. Juni 2024

• 13:0813:08, 27. Jun. 2024 Unterschied Versionen +3 Phdthesis3021 Keine Bearbeitungszusammenfassung
• 13:0713:07, 27. Jun. 2024 Unterschied Versionen 0 N Datei:BBE-thesis-final.pdf Keine Bearbeitungszusammenfassung aktuell

25. Juni 2024

• 06:1806:18, 25. Jun. 2024 Unterschied Versionen +42 Phdthesis3021 Keine Bearbeitungszusammenfassung
• 06:1806:18, 25. Jun. 2024 Unterschied Versionen 0 N Datei:Bednarczyk-PhD-Defense-Slides.pdf Keine Bearbeitungszusammenfassung aktuell
• 03:2803:28, 25. Jun. 2024 Unterschied Versionen +24 PhD Defense of Bartosz Bednarczyk Keine Bearbeitungszusammenfassung aktuell

18. Juni 2024

• 11:4111:41, 18. Jun. 2024 Unterschied Versionen +20 N PhD Defense of Bartosz Bednarczyk/en Page created automatically by parser function on page PhD Defense of Bartosz Bednarczyk aktuell
• 11:4111:41, 18. Jun. 2024 Unterschied Versionen +811 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…“
• 10:1710:17, 18. Jun. 2024 Unterschied Versionen +27 N Phdthesis3021/en Page created automatically by parser function on page Phdthesis3021 aktuell Markierung: Neue Weiterleitung
• 10:1710:17, 18. Jun. 2024 Unterschied Versionen +357 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 }}“
• 10:1510:15, 18. Jun. 2024 Unterschied Versionen 0 N Datei:Thesis-BBE-v1.pdf Keine Bearbeitungszusammenfassung aktuell

13. Juni 2024

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

19. Mai 2024

• 12:4012:40, 19. Mai 2024 Unterschied Versionen +29 Inproceedings3378 Keine Bearbeitungszusammenfassung
• 12:4012:40, 19. Mai 2024 Unterschied Versionen 0 N Datei:BBE-IJCAI-2024.pdf Keine Bearbeitungszusammenfassung aktuell

14. Mai 2024

• 17:1017:10, 14. Mai 2024 Unterschied Versionen +105 Article3097 Keine Bearbeitungszusammenfassung aktuell
• 17:0917:09, 14. Mai 2024 Unterschied Versionen 0 N Datei:2307.09913.pdf Keine Bearbeitungszusammenfassung aktuell

17. April 2024

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

• 08:4408:44, 16. Nov. 2023 Unterschied Versionen +153 Article3095 Keine Bearbeitungszusammenfassung
• 08:4408:44, 16. Nov. 2023 Unterschied Versionen 0 N Datei:BBESRU2023JAIR-final.pdf Keine Bearbeitungszusammenfassung aktuell

29. September 2023

• 06:3606:36, 29. Sep. 2023 Unterschied Versionen +148 Inproceedings3359 Keine Bearbeitungszusammenfassung aktuell

24. September 2023

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

23. September 2023

• 21:3521:35, 23. Sep. 2023 Unterschied Versionen +25 N Article3095/en Page created automatically by parser function on page Article3095 aktuell Markierung: Neue Weiterleitung
• 21:3521:35, 23. Sep. 2023 Unterschied Versionen +2.243 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

• 09:0809:08, 21. Jul. 2023 Unterschied Versionen −2 News88 Keine Bearbeitungszusammenfassung

19. Juli 2023

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

13. Juli 2023

• 15:1615:16, 13. Jul. 2023 Unterschied Versionen −4 Inproceedings3359 Keine Bearbeitungszusammenfassung
• 15:1615:16, 13. Jul. 2023 Unterschied Versionen 0 N Datei:Jelia2023-v2.pdf Keine Bearbeitungszusammenfassung aktuell

12. Juli 2023

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

10. Juli 2023

• 20:3320:33, 10. Jul. 2023 Unterschied Versionen −2 Inproceedings3359 Keine Bearbeitungszusammenfassung
• 20:3220:32, 10. Jul. 2023 Unterschied Versionen +31 N Inproceedings3359/en Page created automatically by parser function on page Inproceedings3359 aktuell Markierung: Neue Weiterleitung
• 20:3220:32, 10. Jul. 2023 Unterschied Versionen +1.459 N Inproceedings3359 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=Beyond ALCreg: Exploring Non-Regu…“