Bartosz Bednarczyk
6 papers
· 2019–2024
· 2 conferences
· across top CS/AI conferences
Achievements
π
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)
description logics
(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)