Michał Zawidzki — accepted AI-conference papers

2026

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction

Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki

AAAI 2026technical

Definite descriptions are expressions of the form „the unique x satisfying property C,” which allow reference to objects through their distinguishing characteristics. They play a crucial role in ontology and query languages, offering an alternative to proper names (IDs), which lack semantic content

Cited by 0 Source ↗PDF ↗Scholar ↗

2023

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals

Przemysław A. Wałęga, Michał Zawidzki, Dingmin Wang, Bernardo Cuenca Grau

AAAI 2023technical

DatalogMTL is a powerful extension of Datalog with operators from metric temporal logic (MTL), which has received significant attention in recent years. In this paper, we investigate materialisation-based reasoning (a.k.a. forward chaining) in the context of DatalogMTL programs and datasets with bou…

Cited by 6 Source ↗PDF ↗code ↗Scholar ↗