Bartosz Bednarczyk

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Bartosz Bednarczyk

Wissenschaftlicher MitarbeiterTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

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

Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
LICS 2019, to appear

Bartosz Bednarczyk, Emanuel Kieroński, Witold Charatonik
Extending Two-Variable Logic on Trees
CSL 2017, August 2017

Bartosz Bednarczyk, Witold Charatonik
Modulo Counting on Words and Trees.
FSTTCS 2017, December 2017

Komplette Publikationsliste anzeigen

A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation