Periklis Mantenoglou
2 papers
· 2025–2026
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (2)
Top co-authors
Keywords
temporal reasoning
(1)
temporal pattern
(1)
logic programming
(1)
lifted planning
(1)
planning domain
(1)
event calculus
(1)
temporal specification
(1)
fluent representation
(1)
boolean combination
(1)
static determination
(1)
run-time reasoning
(1)
specification optimization
(1)
constraint compilation
(1)
qualitative state-trajectory constraint
(1)