Publications: DR Przemyslaw Walega

Hauke SP, Wałęga PA . Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2 . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 40 , 21594 - 21601 .

Sochański M, Wałęga PA, Zawidzki M . Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 40 , 19371 - 19379 .

Grau BC, Feng E, Wałęga PA . The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 40 , 19135 - 19142 .

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

Wałęga PA, Rawson M . Expressive Power of Temporal Message Passing . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 39 , 21000 - 21008 .

Wang S, Wei D, Wałęga PA, Wang D, Cai H . Goal-Driven Reasoning in DatalogMTL with Magic Sets . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 39 , 15203 - 15211 .

Vidal T, Wałęga PA ( 2025 ) . Preface . Leibniz International Proceedings in Informatics Lipics vol. 355 ,

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 .

Salzer M, Walega P, Lange M . The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics . Conference: Annual Conference on Neural Information Processing Systems