Hybrid fragments of Halpern–Shoham logic and their expressive power by Wałęga, P

Computational complexity of core fragments of modal logics T, K4, and S4 by Walega, P

Temporal ontology-mediated queries and first-order rewritability: A short course by Ryzhikov, V, Walega, P, Zakharyaschev, M

Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics by Ryzhikov, V, Walega, P, Zakharyaschev, M

Reasoning over streaming data in metric temporal datalog by Walega, P, Kaminski, M, Cuenca Grau, B

Answer Set Programming Modulo ‘Space-Time’ by Schultz, C, Bhatt, M, Suchan, J, Wałęga, P

Stream reasoning with DatalogMTL by Walega, P, Kaminski, M, Wang, D, Cuenca Grau, B

DatalogMTL: computational complexity and expressive power by Walega, P, Cuenca Grau, B, Kaminski, M, Kostylev, E

MeTeoR: practical reasoning in datalog with metric temporal operators by Wang, D, Hu, P, Walega, P, Cuenca Grau, B

The stable model semantics of datalog with metric temporal operators by Walega, P, Tena Cucala, D, Cuenca Grau, B, Kostylev, E

Stratified negation in datalog with metric temporal operators by Tena Cucala, D, Walega, P, Cuenca Grau, B, Kostylev, E