Bartosz Bednarczyk
6 papers · 2019–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🏃 Academic Marathon (5) 🌈 Renaissance Researcher (5) 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (14)
🧭
Keyword Pioneer
🏆
Keyword Champion
(4)
Conferences
IJCAI (4)
AAAI (2)
Top co-authors
Keywords
query entailment
(4)
description logic
(4)
knowledge base
(3)
conjunctive query
(2)
data complexity
(1)
query answering
(1)
finite model
(1)
finite entailment
(1)
database theory
(1)
finite model semantics
(1)
finite controllability
(1)
knowledge base satisfiability
(1)
chase termination
(1)
tuple-generating dependency
(1)
ontology query
(1)
path query
(1)
knowledge representation
(1)
alternating turing machine
(1)
computational complexity
(1)
complexity analysis
(1)
Papers
Data Complexity in Expressive Description Logics with Path Expressions
IJCAI 2024
Finite Entailment of Local Queries in the Z Family of Description Logics
AAAI 2022
The Price of Selfishness: Conjunctive Query Entailment for ALCSelf Is 2EXPTIME-Hard
AAAI 2022
A Framework for Reasoning about Dynamic Axioms in Description Logics
IJCAI 2020
All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs
IJCAI 2020
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
IJCAI 2019