Bartosz Bednarczyk
Bartosz Bednarczyk
Wissenschaftlicher Mitarbeiter Computational Logic
- bartosz.bednarczyk@tu-dresden.de
- +49 351 463 42665
- APB 2031
About Me
I am a PHD student at TU Dresden and at University of Wrocław, supervised jointly by Sebastian Rudolph (Dresden) and Emanuel Kieroński (Wrocław). My work focus on different aspects of ontology mediated data access and applications of decidable fragments of first-order logic (like existential rules or guarded-fragments) to database-inspired reasoning problems.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse.
JELIA 2019, to appear
Details
Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
LICS 2019, to appear
Details
Bartosz Bednarczyk, Emanuel Kieroński, Witold Charatonik
Extending Two-Variable Logic on Trees
CSL 2017, August 2017
Details
Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees.
FSTTCS 2017, December 2017
Details
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
