Przemysław Andrzej Wałęga
9 papers · 2016–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (13) 🐣 Hot Topic Early Bird
🚀
Conference Pioneer
Top co-authors
Research topics
Machine Learning
(6)
Optimization & Theory · Machine Learning
(5)
Artificial Intelligence
(4)
Core AI
(4)
Deep Learning
(3)
Knowledge & Reasoning
(3)
Architectures
(3)
Reasoning
(3)
Representation
(2)
Computer Science
(1)
Foundations
(1)
Learning Types · Machine Learning
(1)
Learning Types · Deep Learning
(1)
Optimization & Theory · Deep Learning
(1)
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
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
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
AAAI 2026
Expressive Power of Temporal Message Passing
AAAI 2025
Goal-Driven Reasoning in DatalogMTL with Magic Sets
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