Bartosz Bednarczyk
发表
Bartosz Bednarczyk,
Emanuel Kieronski,
Piotr Witkowski,
2018,
JELIA.
Stéphane Demri,
Alessio Mansutti,
Raul Fervari,
2020,
LICS.
Piotr Ostropolski-Nalewaja,
Robert Ferens,
Bartosz Bednarczyk,
2020,
IJCAI.
Witold Charatonik,
Bartosz Bednarczyk,
2017,
FSTTCS.
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
pdf
Sebastian Rudolph,
Franz Baader,
Bartosz Bednarczyk,
2020,
ECAI.
Sebastian Rudolph,
Franz Baader,
Bartosz Bednarczyk,
2019,
Description Logics.
Sebastian Rudolph,
Bartosz Bednarczyk,
S. Rudolph,
2019,
Description Logics.
Stéphane Demri,
Alessio Mansutti,
Bartosz Bednarczyk,
2020,
IJCAI.
Bartosz Bednarczyk,
2020,
Theor. Comput. Sci..
Witold Charatonik,
Bartosz Bednarczyk,
Emanuel Kieronski,
2017,
CSL.
Jakub Michaliszyn,
Bartosz Bednarczyk,
2020,
ArXiv.
Bartosz Bednarczyk,
2019,
ArXiv.
Stéphane Demri,
Bartosz Bednarczyk,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Bartosz Bednarczyk,
Piotr Witkowski,
Emanuel Kiero'nski,
2018
.
Tomasz Błaszczyk,
Bartosz Bednarczyk,
2016
.
Bartosz Bednarczyk,
Piotr Witkowski,
2020,
TIME.
Bartosz Bednarczyk,
2021,
JELIA.
Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics
pdf
Bartosz Bednarczyk,
2021,
ArXiv.
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf is 2ExpTime-hard (Extended Abstract)
pdf
Sebastian Rudolph,
Bartosz Bednarczyk,
2021,
Description Logics.
Bartosz Bednarczyk,
Emanuel Kieronski,
2021,
Description Logics.
Tony Tan,
Bartosz Bednarczyk,
Maja Orlowska,
2021,
ArXiv.
Bartosz Bednarczyk,
St'ephane Demri,
2021,
ArXiv.