Benutzerbeiträge von „Bartosz Bednarczyk“

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Suche nach BenutzerbeiträgenAusklappenEinklappen
⧼contribs-top⧽
⧼contribs-date⧽
(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)

22. Oktober 2024

30. September 2024

14. August 2024

13. August 2024

9. August 2024

19. Juli 2024

27. Juni 2024

25. Juni 2024

18. Juni 2024

13. Juni 2024

19. Mai 2024

14. Mai 2024

17. April 2024

  • 09:5309:53, 17. Apr. 2024 Unterschied Versionen +25 Bytes N Article3097/enPage created automatically by parser function on page Article3097 aktuell Markierung: Neue Weiterleitung
  • 09:5309:53, 17. Apr. 2024 Unterschied Versionen +1.657 Bytes N Article3097Die 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/enPage created automatically by parser function on page Inproceedings3378 aktuell Markierung: Neue Weiterleitung
  • 09:4909:49, 17. Apr. 2024 Unterschied Versionen +943 Bytes N Inproceedings3378Die 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

29. September 2023

24. September 2023

23. September 2023

21. Juli 2023

19. Juli 2023

13. Juli 2023

12. Juli 2023

10. Juli 2023

6. Juli 2023

15. Juni 2023

(neueste | älteste) Zeige (jüngere 50 | ) (20 | 50 | 100 | 250 | 500)