Bartosz Bednarczyk

Computational Logic Group , TU Dresden , Germany Institute of Computer Science ,; University of Wrocław , Poland

4 papers in the IJCAI proceedings

IJCAI 2024

Data Complexity in Expressive Description Logics with Path Expressions

doi:10.24963/ijcai.2024/359

Details PDF

IJCAI 2020

A Framework for Reasoning about Dynamic Axioms in Description Logics

with Stephane Demri, Alessio Mansutti

doi:10.24963/ijcai.2020/233

Details PDF

All-Instances Oblivious Chase Termination is Undecidable for Single-Head Binary TGDs

with Robert Ferens, Piotr Ostropolski-Nalewaja

doi:10.24963/ijcai.2020/238

Details PDF

IJCAI 2019

Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting

with Sebastian Rudolph

doi:10.24963/ijcai.2019/212

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings