Przemysław Andrzej Wałęga
9 papers · 2016–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
🐝 Cross-Pollinator (14) 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🌈 Renaissance Researcher (5) 🌉 Interdisciplinary Bridge
🗺️
Taxonomy Completionist
(13)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🚀
Conference Pioneer
Conferences
AAAI (7)
IJCAI (2)
Top co-authors
Keywords
graph neural network
(3)
query answering
(2)
modal logic
(2)
metric temporal logic
(2)
expressive power
(2)
temporal reasoning
(2)
temporal logic
(2)
temporal graph
(1)
description logic
(1)
data complexity
(1)
weisfeiler-leman test
(1)
rule-based reasoning
(1)
magic set
(1)
datalog extension
(1)
temporal ontology
(1)
forward chaining
(1)
stream reasoning
(1)
metric temporal datalog
(1)
temporal operator
(1)
chase algorithm
(1)
Papers
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
AAAI 2026
Aggregate-Combine-Readout GNNs Can Express Logical Classifiers Beyond the Logic C2
AAAI 2026
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
AAAI 2026
Goal-Driven Reasoning in DatalogMTL with Magic Sets
AAAI 2025
Expressive Power of Temporal Message Passing
AAAI 2025
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators
AAAI 2022
Reasoning over Streaming Data in Metric Temporal Datalog
AAAI 2019
Searching for Well-Behaved Fragments of Halpern-Shoham Logic
IJCAI 2017
Reasoning about Space and Change with Answer Set Programming Modulo Theories
IJCAI 2016