Bartosz Bednarczyk
6 papers · 2019–2024 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Silver 🗺️ Taxonomy Completionist (11) 🏆 Keyword Champion (4)
📈
Trend Setter
Top co-authors
Research topics
Keywords
description logic
(5)
query entailment
(4)
knowledge base
(4)
conjunctive query
(2)
knowledge representation
(2)
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)
alternating turing machine
(1)
separation logic
(1)
dynamic axiom
(1)
consistency problem
(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