Przemysław A. Wałęga
4 papers · 2019–2023 · 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 ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🐣
Hot Topic Early Bird
Top co-authors
Research topics
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)