Benutzerbeiträge von „Bartosz Bednarczyk“
Aus International Center for Computational Logic
Für Bartosz Bednarczyk Diskussion Sperr-Logbuch Hochgeladene Dateien Logbücher
22. Oktober 2024
- 06:1606:16, 22. Okt. 2024 Unterschied Versionen +67 Bytes Inproceedings3378 Keine Bearbeitungszusammenfassung aktuell
30. September 2024
- 21:1421:14, 30. Sep. 2024 Unterschied Versionen 0 Bytes Bartosz Bednarczyk Keine Bearbeitungszusammenfassung aktuell
14. August 2024
- 10:2210:22, 14. Aug. 2024 Unterschied Versionen +1 Byte Piotr Ostropolski-Nalewaja Keine Bearbeitungszusammenfassung aktuell
13. August 2024
- 14:4514:45, 13. Aug. 2024 Unterschied Versionen −1 Byte Piotr Ostropolski-Nalewaja Keine Bearbeitungszusammenfassung
9. August 2024
- 04:1204:12, 9. Aug. 2024 Unterschied Versionen +2 Bytes Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
- 04:1004:10, 9. Aug. 2024 Unterschied Versionen −17 Bytes Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
- 04:0904:09, 9. Aug. 2024 Unterschied Versionen +20 Bytes Bartosz Bednarczyk Keine Bearbeitungszusammenfassung
- 04:0904:09, 9. Aug. 2024 Unterschied Versionen 0 Bytes N Datei:Bart-personal-2.jpg Keine Bearbeitungszusammenfassung aktuell
19. Juli 2024
- 19:1319:13, 19. Jul. 2024 Unterschied Versionen +65 Bytes Phdthesis3021 Keine Bearbeitungszusammenfassung aktuell
27. Juni 2024
- 14:0814:08, 27. Jun. 2024 Unterschied Versionen +3 Bytes Phdthesis3021 Keine Bearbeitungszusammenfassung
- 14:0714:07, 27. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:BBE-thesis-final.pdf Keine Bearbeitungszusammenfassung aktuell
25. Juni 2024
- 07:1807:18, 25. Jun. 2024 Unterschied Versionen +42 Bytes Phdthesis3021 Keine Bearbeitungszusammenfassung
- 07:1807:18, 25. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:Bednarczyk-PhD-Defense-Slides.pdf Keine Bearbeitungszusammenfassung aktuell
- 04:2804:28, 25. Jun. 2024 Unterschied Versionen +24 Bytes PhD Defense of Bartosz Bednarczyk Keine Bearbeitungszusammenfassung aktuell
18. Juni 2024
- 12:4112: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
- 12:4112: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…“
- 11:1711:17, 18. Jun. 2024 Unterschied Versionen +27 Bytes N Phdthesis3021/en Page created automatically by parser function on page Phdthesis3021 aktuell Markierung: Neue Weiterleitung
- 11:1711: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 }}“
- 11:1511:15, 18. Jun. 2024 Unterschied Versionen 0 Bytes N Datei:Thesis-BBE-v1.pdf Keine Bearbeitungszusammenfassung aktuell
13. Juni 2024
- 09:5309:53, 13. Jun. 2024 Unterschied Versionen +54 Bytes Data Complexity in Expressive Description Logics With Path Expressions Keine Bearbeitungszusammenfassung aktuell
19. Mai 2024
- 13:4013:40, 19. Mai 2024 Unterschied Versionen +29 Bytes Inproceedings3378 Keine Bearbeitungszusammenfassung
- 13:4013:40, 19. Mai 2024 Unterschied Versionen 0 Bytes N Datei:BBE-IJCAI-2024.pdf Keine Bearbeitungszusammenfassung aktuell
14. Mai 2024
- 18:1018:10, 14. Mai 2024 Unterschied Versionen +105 Bytes Article3097 Keine Bearbeitungszusammenfassung aktuell
- 18:0918:09, 14. Mai 2024 Unterschied Versionen 0 Bytes N Datei:2307.09913.pdf Keine Bearbeitungszusammenfassung aktuell
17. April 2024
- 09:5309:53, 17. Apr. 2024 Unterschied Versionen +25 Bytes N Article3097/en Page created automatically by parser function on page Article3097 aktuell Markierung: Neue Weiterleitung
- 09:5309: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…“
- 09:4909:49, 17. Apr. 2024 Unterschied Versionen +31 Bytes N Inproceedings3378/en Page created automatically by parser function on page Inproceedings3378 aktuell Markierung: Neue Weiterleitung
- 09:4909: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
- 09:4409:44, 16. Nov. 2023 Unterschied Versionen +153 Bytes Article3095 Keine Bearbeitungszusammenfassung
- 09:4409:44, 16. Nov. 2023 Unterschied Versionen 0 Bytes N Datei:BBESRU2023JAIR-final.pdf Keine Bearbeitungszusammenfassung aktuell
29. September 2023
- 07:3607:36, 29. Sep. 2023 Unterschied Versionen +148 Bytes Inproceedings3359 Keine Bearbeitungszusammenfassung aktuell
24. September 2023
- 19:2019:20, 24. Sep. 2023 Unterschied Versionen +30 Bytes Article3095 Keine Bearbeitungszusammenfassung
- 19:2019:20, 24. Sep. 2023 Unterschied Versionen 0 Bytes N Datei:BBE-SR-JAIR2023.pdf Keine Bearbeitungszusammenfassung aktuell
23. September 2023
- 22:3522:35, 23. Sep. 2023 Unterschied Versionen +25 Bytes N Article3095/en Page created automatically by parser function on page Article3095 aktuell Markierung: Neue Weiterleitung
- 22:3522: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
- 10:0810:08, 21. Jul. 2023 Unterschied Versionen −2 Bytes News88 Keine Bearbeitungszusammenfassung
19. Juli 2023
- 11:3611:36, 19. Jul. 2023 Unterschied Versionen −28 Bytes Inproceedings3359 Keine Bearbeitungszusammenfassung
- 11:3611:36, 19. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:BBE-JELIA23-FINAL.pdf Keine Bearbeitungszusammenfassung aktuell
13. Juli 2023
- 16:1616:16, 13. Jul. 2023 Unterschied Versionen −4 Bytes Inproceedings3359 Keine Bearbeitungszusammenfassung
- 16:1616:16, 13. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:Jelia2023-v2.pdf Keine Bearbeitungszusammenfassung aktuell
12. Juli 2023
- 11:1111:11, 12. Jul. 2023 Unterschied Versionen +3 Bytes Inproceedings3359 Keine Bearbeitungszusammenfassung
- 11:1111:11, 12. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:BBE-JELIA2023-v1.pdf Keine Bearbeitungszusammenfassung aktuell
10. Juli 2023
- 21:3321:33, 10. Jul. 2023 Unterschied Versionen −2 Bytes Inproceedings3359 Keine Bearbeitungszusammenfassung
- 21:3221:32, 10. Jul. 2023 Unterschied Versionen +31 Bytes N Inproceedings3359/en Page created automatically by parser function on page Inproceedings3359 aktuell Markierung: Neue Weiterleitung
- 21:3221: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…“
- 21:3121:31, 10. Jul. 2023 Unterschied Versionen 0 Bytes N Datei:BBE-JELIA2023.pdf Keine Bearbeitungszusammenfassung aktuell
- 20:2120: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
- 20:2120:21, 10. Jul. 2023 Unterschied Versionen +125 Bytes How I made my research more VISIBLE? Undecidability Results for ALC Extended with Visibly Pushdown Path Expressions. Keine Bearbeitungszusammenfassung
6. Juli 2023
- 08:3208:32, 6. Jul. 2023 Unterschied Versionen −969 Bytes Navigating ASP Solution Spaces Keine Bearbeitungszusammenfassung aktuell
15. Juni 2023
- 19:0919:09, 15. Jun. 2023 Unterschied Versionen +5 Bytes Inproceedings3277 Keine Bearbeitungszusammenfassung aktuell