Przemysław A. Wałęga
4 papers
· 2019–2023
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🐝
Cross-Pollinator
(8)
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
metric temporal logic
(3)
computational complexity
(2)
temporal reasoning
(2)
data complexity
(1)
existential rule
(1)
canonical model
(1)
forward chaining
(1)
stream reasoning
(1)
materialisation-based reasoning
(1)
datalog with metric temporal logic
(1)
bounded interval
(1)
tuple-generating dependencies
(1)
logical fragment
(1)
weakly-acyclic program
(1)
reasoning algorithm
(1)
knowledge representation
(1)
expressive power
(1)