Alexander Artikis
3 papers · 2023–2025 · 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 ยท Bronze
๐ฃ
Hot Topic Early Bird
Top co-authors
Research topics
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)