| Satisfiability and query answering in description logics with global and local cardinality constraints F Baader, B Bednarczyk, S Rudolph ECAI 2020 / DL 2019, 2020 | 20* | 2020 |
| Why propositional quantification makes modal logics on trees robustly hard ? B Bednarczyk, S Demri LICS 2019, Preprint from LSV, 2019 | 13 | 2019 |
| Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting B Bednarczyk, S Rudolph DL 2019 & IJCAI 2019, 2019 | 12 | 2019 |
| Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment B Bednarczyk Logics in Artificial Intelligence: 17th European Conference, JELIA 2021 …, 2021 | 11 | 2021 |
| Modal Logics with Composition on Finite Forests: Expressivity and Complexity B Bednarczyk, S Demri, R Fervari, A Mansutti Lics 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in …, 2020 | 8 | 2020 |
| Extending two-variable logic on trees B Bednarczyk, W Charatonik, E Kieroński CSL 2017, 2016 | 7 | 2016 |
| Presburger Büchi tree automata with applications to logics with expressive counting B Bednarczyk, O Fiuk International Workshop on Logic, Language, Information, and Computation, 295-308, 2022 | 5 | 2022 |
| On classical decidable logics extended with percentage quantifiers and arithmetics B Bednarczyk, M Orłowska, A Pacanowska, T Tan arXiv preprint arXiv:2106.15250, 2021 | 5 | 2021 |
| Finite entailment of local queries in the Z family of description logics B Bednarczyk, E Kieroński Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5487-5494, 2022 | 4 | 2022 |
| Towards a model theory of ordered logics: Expressivity and interpolation B Bednarczyk, R Jaakkola 47th International Symposium on Mathematical Foundations of Computer Science …, 2022 | 4 | 2022 |
| Comonadic Semantics for Description Logics Games. B Bednarczyk, M Urbanczyk, O Arieli, M Homola, JC Jung, M Mugnier Description Logics, 2022 | 3 | 2022 |
| Lutz's Spoiler Technique Revisited: A Unified Approach to Worst-Case Optimal Entailment of Unions of Conjunctive Queries in Locally-Forward Description Logics B Bednarczyk arXiv preprint arXiv:2108.05680, 2021 | 3 | 2021 |
| All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs B Bednarczyk, R Ferens, P Ostropolski-Nalewaja | 3 | 2020 |
| One-Variable Logic Meets Presburger Arithmetic B Bednarczyk Theoretical Computer Science, 2020 | 3 | 2020 |
| On the Complexity of Graded Modal Logics with Converse B Bednarczyk, E Kieroński, P Witkowski JELIA 2019, 2018 | 3 | 2018 |
| Completing the picture: Complexity of graded modal logics with converse B Bednarczyk, E Kieroński, P Witkowski Theory and Practice of Logic Programming 21 (4), 493-520, 2021 | 2 | 2021 |
| A Note on C² Interpreted over Finite Data-Words B Bednarczyk, P Witkowski 27th International Symposium on Temporal Representation and Reasoning (TIME …, 2020 | 2 | 2020 |
| On the of Limits of Decision: the Adjacent Fragment of First-Order Logic B Bednarczyk, D Kojelis, I Pratt-Hartmann arXiv preprint arXiv:2305.03133, 2023 | 1 | 2023 |
| Order-invariance of two-variable logic is conexptime-complete B Bednarczyk arXiv preprint arXiv:2208.07577, 2022 | 1 | 2022 |
| Why Does Propositional Quantification Make Modal and Temporal Logics on Trees Robustly Hard? B Bednarczyk, S Demri Logical Methods in Computer Science 18, 2022 | 1 | 2022 |
Sebastian RudolphTechnische Universität DresdenZweryfikowany adres z tu-dresden.de
