Bednarczyk, Bartosz

7 publications

IJCAI 2024 Data Complexity in Expressive Description Logics with Path Expressions Bartosz Bednarczyk

JAIR 2023 How to Tell Easy from Hard: Complexities of Conjunctive Query Entailment in Extensions of ALC Bartosz Bednarczyk, Sebastian Rudolph

AAAI 2022 Finite Entailment of Local Queries in the Z Family of Description Logics Bartosz Bednarczyk, Emanuel Kieronski

AAAI 2022 The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard Bartosz Bednarczyk, Sebastian Rudolph

IJCAI 2020 A Framework for Reasoning About Dynamic Axioms in Description Logics Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti

IJCAI 2020 All-Instances Oblivious Chase Termination Is Undecidable for Single-Head Binary TGDs Bartosz Bednarczyk, Robert Ferens, Piotr Ostropolski-Nalewaja

IJCAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting Bartosz Bednarczyk, Sebastian Rudolph