Przemysław Wałęga
Przemysław Andrzej Wałęga
Wolfson Building, Parks Road, Oxford OX1 3QD
Themes:
- Data, Knowledge and Action
- Artificial Intelligence and Machine Learning
- Algorithms and Complexity Theory
Completed Projects:
Interests
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.
Selected Publications
-
Finite Materialisability of Datalog Programs with Metric Temporal Operators
Przemysław Wałęga‚ Michal Zawidzki and Bernardo Cuenca Grau
In Journal of Artificial Intelligence Research (JAIR). 2023.
Details about Finite Materialisability of Datalog Programs with Metric Temporal Operators | BibTeX data for Finite Materialisability of Datalog Programs with Metric Temporal Operators
-
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
Dingmin Wang‚ Pan Hu‚ Przemyslaw Walega and Bernardo Cuenca Grau
In Proceedings of AAAI−2022. 2022.
Details about MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators | BibTeX data for MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
-
Stratified Negation in Datalog With Metric Temporal Operators
David Tena Cucala‚ Przemyslaw Walega‚ Bernardo Cuenca Grau and Egor V. Kostylev
In Proceedings of AAAI−2021. 2021.
Details about Stratified Negation in Datalog With Metric Temporal Operators | BibTeX data for Stratified Negation in Datalog With Metric Temporal Operators