Zawidzki, Michal

2 publications

JAIR 2023 Finite Materialisability of Datalog Programs with Metric Temporal Operators Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

AAAI 2023 Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau