Przemyslaw Andrzej Walega

Venues

Frequent coauthors

Papers

1. Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
   AAAI 2026 ·

   Stan P. Hauke

   DBLP profile ↗ORCID search ↗
2. Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
   AAAI 2026 ·

   Michal Sochanski

   DBLP profile ↗ORCID search ↗
3. Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog
   KR 2026 ·

   Mathijs van Noort

   DBLP profile ↗ORCID search ↗
4. How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks
   KR 2026 ·

   Stan P. Hauke

   DBLP profile ↗ORCID search ↗
5. The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
   AAAI 2026 ·

   Bernardo Cuenca Grau

   DBLP profile ↗ORCID search ↗
6. Expressive Power of Temporal Message Passing
   AAAI 2025 · Przemyslaw Andrzej Walega
7. Goal-Driven Reasoning in DatalogMTL with Magic Sets
   AAAI 2025 ·

   Shaoyu Wang

   DBLP profile ↗ORCID search ↗
8. The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
   NeurIPS 2025 ·

   Marco Sälzer

   DBLP profile ↗ORCID search ↗
9. Computational Complexity of Standpoint LTL
   ECAI 2024 ·

   Stéphane Demri

   DBLP profile ↗ORCID search ↗
10. Expressive Power of Definite Descriptions in Modal Logics
    KR 2024 · Przemyslaw Andrzej Walega
11. MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
    KR 2024 ·

    Dingmin Wang

    DBLP profile ↗ORCID search ↗