Przemyslaw Andrzej Walega

11 papers at tracked venues · 6 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×5 KR ×4 ECAI ×1 NeurIPS ×1

Frequent coauthors

Stan P. Hauke

×2

Bernardo Cuenca Grau

×2

Dingmin Wang

×2

Michal Sochanski

×1

Michal Zawidzki

×1

Mathijs van Noort

×1

Eva Feng

×1

Michael Rawson

×1

Shaoyu Wang

×1

Kaiyue Zhao

×1

Dongliang Wei

×1

Hongming Cai

×1

Papers

Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
AAAI 2026 ·
Stan P. Hauke
, Przemyslaw Andrzej Walega
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
AAAI 2026 ·
Michal Sochanski
, Przemyslaw Andrzej Walega,
Michal Zawidzki
Efficient Temporal Reasoning with Non-Temporal Engines: Embedding DatalogMTL into Datalog
KR 2026 ·
Mathijs van Noort
, Przemyslaw Andrzej Walega
How Aggregation Functions Affect the Uniform Expressiveness of Graph Neural Networks
KR 2026 ·
Stan P. Hauke
, Przemyslaw Andrzej Walega
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
AAAI 2026 ·
Bernardo Cuenca Grau
,
Eva Feng
, Przemyslaw Andrzej Walega
Expressive Power of Temporal Message Passing
AAAI 2025 · Przemyslaw Andrzej Walega,
Michael Rawson
Goal-Driven Reasoning in DatalogMTL with Magic Sets
AAAI 2025 ·
Shaoyu Wang
,
Kaiyue Zhao
,
Dongliang Wei
, Przemyslaw Andrzej Walega,
Dingmin Wang
,
Hongming Cai
,
Pan Hu
The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
NeurIPS 2025 ·
Marco Sälzer
, Przemyslaw Andrzej Walega,
Martin Lange
Computational Complexity of Standpoint LTL
ECAI 2024 ·
Stéphane Demri
, Przemyslaw Andrzej Walega
Expressive Power of Definite Descriptions in Modal Logics
KR 2024 · Przemyslaw Andrzej Walega
MTLearn: Extracting Temporal Rules Using Datalog Rule Learners
KR 2024 ·
Dingmin Wang
, Przemyslaw Andrzej Walega,
Bernardo Cuenca Grau