| 2026 | AAAI | The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic. | Bernardo Cuenca Grau, Eva Feng, Przemyslaw Andrzej Walega |
| 2026 | AAAI | Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2. | Stan P. Hauke, Przemyslaw Andrzej Walega |
| 2026 | AAAI | Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction. | Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2026 | KR | How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks. | Stan P. Hauke, Przemyslaw Andrzej Walega |
| 2026 | KR | Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog. | Mathijs van Noort, Przemyslaw Andrzej Walega |
| 2025 | AAAI | Expressive Power of Temporal Message Passing. | Przemyslaw Andrzej Walega, Michael Rawson |
| 2025 | AAAI | Goal-Driven Reasoning in DatalogMTL with Magic Sets. | Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemyslaw Andrzej Walega, Dingmin Wang, Hongming Cai, Pan Hu |
| 2025 | JELIA | On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order. | Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2024 | ECAI | Computational Complexity of Standpoint LTL. | Stphane Demri, Przemyslaw Andrzej Walega |
| 2024 | KR | Expressive Power of Definite Descriptions in Modal Logics. | Przemyslaw Andrzej Walega |
| 2024 | KR | MTLearn: Extracting Temporal Rules Using Datalog Rule Learners. | Dingmin Wang, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
| 2024 | LPAR | Fuzzy Datalog∃ over Arbitrary t-Norms. | Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob |
| 2024 | TIME | Rule-Based Temporal Reasoning: Exploring DatalogMTL (Invited Talk). | Przemyslaw Andrzej Walega |
| 2023 | AAAI | Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals. | Przemyslaw Andrzej Walega, Michal Zawidzki, Dingmin Wang, Bernardo Cuenca Grau |
| 2023 | IJCAI | Temporal Datalog with Existential Quantification. | Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega |
| 2023 | JELIA | Hybrid Modal Operators for Definite Descriptions. | Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2023 | KR | Computing All Facts Entailed By An LTL Specification. | Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase |
| 2022 | AAAI | MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators. | Dingmin Wang, Pan Hu, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau |
| 2021 | AAAI | Stratified Negation in Datalog with Metric Temporal Operators. | David J. Tena Cucala, Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Egor V. Kostylev |
| 2021 | KR | DatalogMTL with Negation Under Stable Models Semantics. | Przemyslaw Andrzej Walega, David J. Tena Cucala, Egor V. Kostylev, Bernardo Cuenca Grau |
| 2021 | KR | Finitely Materialisable Datalog Programs with Metric Temporal Operators. | Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau |
| 2020 | IJCAI | Tractable Fragments of Datalog with Metric Temporal Operators. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2020 | KR | DatalogMTL over the Integer Timeline. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2019 | AAAI | Reasoning over Streaming Data in Metric Temporal Datalog. | Przemyslaw Andrzej Walega, Mark Kaminski, Bernardo Cuenca Grau |
| 2019 | IJCAI | Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. | Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev |
| 2019 | IJCAI | DatalogMTL: Computational Complexity and Expressive Power. | Przemyslaw Andrzej Walega, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev |
| 2019 | JELIA | Computational Complexity of Core Fragments of Modal Logics T, K4, and S4. | Przemyslaw Andrzej Walega |
| 2019 | TIME | A Modal Logic for Subject-Oriented Spatial Reasoning. | Przemyslaw Andrzej Walega, Michal Zawidzki |
| 2018 | AAAI | Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects. | Jakob Suchan, Mehul Bhatt, Przemyslaw Andrzej Walega, Carl Schultz |
| 2018 | LPAR | On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic. | Przemyslaw Andrzej Walega |
| 2018 | TIME | Computational Complexity of a Core Fragment of Halpern-Shoham Logic. | Przemyslaw Andrzej Walega |
| 2017 | AAAI | Hybridizing Interval Temporal Logics: The First Step. | Przemyslaw Andrzej Walega |
| 2017 | AAAI | Human-Like Spatial Reasoning Formalisms. | Przemyslaw Andrzej Walega |
| 2017 | IJCAI | Searching for Well-Behaved Fragments of Halpern-Shoham Logic. | Przemyslaw Andrzej Walega |
| 2017 | TIME | On Expressiveness of Halpern-Shoham Logic and its Horn Fragments. | Przemyslaw Andrzej Walega |
| 2016 | IJCAI | Reasoning about Space and Change with Answer Set Programming Modulo Theories. | Przemyslaw Andrzej Walega |
| 2015 | LPNMR | Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning. | Przemyslaw Andrzej Walega |
| 2015 | LPNMR | ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories. | Przemyslaw Andrzej Walega, Mehul Bhatt, Carl Schultz |
| 2014 | KES | Overfitting Problem in a Virtual Sensor Obtained with W-M Method. | Przemyslaw Andrzej Walega |