Publications: DR Przemyslaw Walega

Indrzejczak A, Wałęga PA, Zawidzki M ( 2025 ) . On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order . Logics in Artificial Intelligence , vol. 16094 , Springer Nature

WANG D, CUENCA GRAU B, HU P ( 2024 ) . Practical Reasoning in DatalogMTL . Theory and Practice of Logic Programming vol. 25 , ( 2 ) 225 - 255 .

Wałęga PA ( 2024 ) . Rule-Based Temporal Reasoning: Exploring DatalogMTL . Leibniz International Proceedings in Informatics Lipics . vol. 318 ,

Demri S ( 2024 ) . Computational Complexity of Standpoint LTL . ECAI 2024 , IOS Press

Lanzinger M, Sferrazza S, Wałęga PA, Gottlob G ( 2024 ) . Fuzzy Datalog∃ over Arbitrary t-Norms . EPiC series in computing . vol. 100 , 426 - 406 .

Wałęga PA, Zawidzki M ( 2023 ) . Computing All Facts Entailed By An LTL Specification . Conference: Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning679 - 689 .

WAŁĘGA PA, TENA CUCALA DJ, CUENCA GRAU B ( 2023 ) . The Stable Model Semantics of Datalog with Metric Temporal Operators . Theory and Practice of Logic Programming vol. 24 , ( 1 ) 22 - 56 .

Lanzinger M, Nissl M, Sallinger E ( 2023 ) . Temporal Datalog with Existential Quantification . Conference: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence3277 - 3285 .

Wałęga PA, Kaminski M, Wang D ( 2023 ) . Stream reasoning with DatalogMTL . Journal of Web Semantics vol. 76 ,

Wałęga P, Zawidzki M, Cuenca Grau B ( 2023 ) . Finite Materialisability of Datalog Programs with Metric Temporal Operators . Journal of Artificial Intelligence Research vol. 76 ,

Wałęga PA ( 2023 ) . Computational complexity of hybrid interval temporal logics . Annals of Pure and Applied Logic vol. 174 , ( 1 )

Wałęga PA, Zawidzki M ( 2021 ) . Subject-oriented spatial logic . Information and Computation vol. 280 ,

Wałęga PA, Tena Cucala DJ, Kostylev EV, Cuenca Grau B ( 2021 ) . DatalogMTL with Negation Under Stable Models Semantics . Conference: Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning609 - 618 .

Wałęga PA, Zawidzki M ( 2021 ) . Finitely Materialisable Datalog Programs with Metric Temporal Operators . Conference: Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning619 - 628 .

Walega P, Rawson M . Expressive Power of Temporal Message Passing . Conference: AAAI Conference on Artificial Intelligence

Walega P, Wang S, Zhao K, Dongliang W, Wang D, Cai H, Hu P . Goal-Driven Reasoning in DatalogMTL with Magic Sets . Conference: AAAI Conference on Artificial Intelligence