Subject-oriented spatial logic by Wałęga, PA, Zawidzki, M

A modal logic for subject-oriented spatial reasoning by Wałęga, PA, Zawidzki, M

Qualitative physics in Angry Birds by Wałȩga, PA, Zawidzki, M, Lechowski, T

Finitely materialisable Datalog programs with metric temporal operators by Wałęga, PA, Zawidzki, M, Cuenca Grau, B

Reasoning techniques in DatalogMTL by Wałega, PA, Zawidzki, M, Cuenca Grau, B

Finite materialisability of Datalog programs with metric temporal operators by Wałęga, PA, Zawidzki, M, Cuenca Grau, B

Temporal datalog with existential quantification by Lanzinger, M, Nissl, M, Sallinger, E, Walega, PA

Tractable fragments of datalog with metric temporal operators by Wałęga, PA, Cuenca Grau, B, Kaminski, M, Kostylev, EV

Materialisation-based reasoning in DatalogMTL with bounded intervals by Wałęga, PA, Zawidzki, M, Wang, D, Cuenca Grau, B

DatalogMTL over integer timeline by Walega, PA, Cuenca Grau, B, Kaminski, M, Kostylev, EV

DatalogMTL with negation under stable models semantics by Wałęga, PA, Tena Cucala, DJ, Kostylev, EV, Cuenca Grau, B