Alexander Artikis
3 papers · 2023–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌍
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)