Benutzerbeiträge von „Bartosz Bednarczyk“

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…“ aktuell
• 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…“ aktuell

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
• 21:2121: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

• 09:3209:32, 6. Jul. 2023 Unterschied Versionen −969 Bytes‎ Navigating ASP Solution Spaces ‎Keine Bearbeitungszusammenfassung aktuell

15. Juni 2023

• 20:0920:09, 15. Jun. 2023 Unterschied Versionen +5 Bytes‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung aktuell
• 20:0920:09, 15. Jun. 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-ICALP23-Corrected.pdf ‎Keine Bearbeitungszusammenfassung aktuell

25. Mai 2023

• 10:4610:46, 25. Mai 2023 Unterschied Versionen +24 Bytes‎ Article3088 ‎Keine Bearbeitungszusammenfassung aktuell
• 10:4610:46, 25. Mai 2023 Unterschied Versionen 0 Bytes‎ N Datei:2023-tocl.pdf ‎Keine Bearbeitungszusammenfassung aktuell

17. Mai 2023

• 14:1714:17, 17. Mai 2023 Unterschied Versionen +28 Bytes‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung
• 14:0614:06, 17. Mai 2023 Unterschied Versionen +19 Bytes‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung
• 14:0614:06, 17. Mai 2023 Unterschied Versionen +22 Bytes‎ Database-Inspired Reasoning Problems in Description Logics With Path Expressions ‎Keine Bearbeitungszusammenfassung

4. Mai 2023

• 22:1322:13, 4. Mai 2023 Unterschied Versionen 0 Bytes‎ Datei:BBE-ICALP2023.pdf ‎ Bartosz Bednarczyk lud eine neue Version von Datei:BBE-ICALP2023.pdf hoch aktuell
• 21:4921:49, 4. Mai 2023 Unterschied Versionen +28 Bytes‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung
• 21:4921:49, 4. Mai 2023 Unterschied Versionen 0 Bytes‎ N Datei:BBE-ICALP2023.pdf ‎Keine Bearbeitungszusammenfassung
• 20:4720:47, 4. Mai 2023 Unterschied Versionen +18 Bytes‎ Article3088 ‎Keine Bearbeitungszusammenfassung
• 20:4520:45, 4. Mai 2023 Unterschied Versionen +92 Bytes‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung
• 20:4220:42, 4. Mai 2023 Unterschied Versionen −1 Byte‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung
• 20:4220:42, 4. Mai 2023 Unterschied Versionen −75 Bytes‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung

21. April 2023

• 20:5520:55, 21. Apr. 2023 Unterschied Versionen +55 Bytes‎ Inproceedings3277 ‎Keine Bearbeitungszusammenfassung
• 20:5320:53, 21. Apr. 2023 Unterschied Versionen +1.553 Bytes‎ N Inproceedings3277 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Bartosz |ErsterAutorNachname=Bednarczyk }} {{Inproceedings |Referiert=1 |Title=On the of Limits of Decision: the…“

11. April 2023

• 17:5817:58, 11. Apr. 2023 Unterschied Versionen −812 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung aktuell

1. Februar 2023

• 12:1312:13, 1. Feb. 2023 Unterschied Versionen +2 Bytes‎ Bartosz Bednarczyk ‎Keine Bearbeitungszusammenfassung

23. Januar 2023

• 14:5914:59, 23. Jan. 2023 Unterschied Versionen +79 Bytes‎ Finite and algorithmic model theory (22/23) (WS2022) ‎Keine Bearbeitungszusammenfassung aktuell
• 14:5814:58, 23. Jan. 2023 Unterschied Versionen 0 Bytes‎ N Datei:Fmt exercises.pdf ‎Keine Bearbeitungszusammenfassung aktuell

19. Januar 2023

• 18:0618:06, 19. Jan. 2023 Unterschied Versionen +29 Bytes‎ Finite and algorithmic model theory (22/23) (WS2022) ‎Keine Bearbeitungszusammenfassung
• 18:0518:05, 19. Jan. 2023 Unterschied Versionen 0 Bytes‎ N Datei:FMT-LEcture-8.pdf ‎Keine Bearbeitungszusammenfassung aktuell

17. Januar 2023

• 23:3423:34, 17. Jan. 2023 Unterschied Versionen +193 Bytes‎ Finite and algorithmic model theory (22/23) (WS2022) ‎Keine Bearbeitungszusammenfassung

11. Januar 2023

• 15:4615:46, 11. Jan. 2023 Unterschied Versionen +163 Bytes‎ Finite and algorithmic model theory (22/23) (WS2022) ‎Keine Bearbeitungszusammenfassung
• 15:4515:45, 11. Jan. 2023 Unterschied Versionen 0 Bytes‎ N Datei:FMT-lecture-FO2.pdf ‎Keine Bearbeitungszusammenfassung aktuell