My research inetrests include knowledge representation and reasoning, reasoning about time and space, logics in AI, stream reasoning, and computational complexity. I am mainly working on computational complexity and expressive power of various logics, e.g., temporal logics, interval logics, metric logics, modal logics, description logics, and Datalog.
Reasoning over Streaming Data in Metric Temporal Datalog
Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.