Alexander Artikis
3 papers
· 2023–2025
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
IJCAI (2)
AAAI (1)
Top co-authors
Keywords
event calculus
(3)
composite event recognition
(2)
logic programming
(2)
tensor computation
(1)
temporal specification
(1)
fluent representation
(1)
boolean combination
(1)
static determination
(1)
run-time reasoning
(1)
incremental reasoning
(1)
streaming environment
(1)
symbolic reasoning
(1)
specification optimization
(1)
temporal reasoning
(1)
temporal pattern
(1)