Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Efficient Temporal Datalog Materialisation for Composite Event Recognition
Periklis Mantenoglou
Several applications demand the timely detection of critical situations, such as threats to safety and transparency, over high-velocity streams of symbolic events. This demand has…
cs.AI2025
Two Constraint Compilation Methods for Lifted Planning
Periklis Mantenoglou, Luigi Bonassi, Enrico Scala +1
We study planning in a fragment of PDDL with qualitative state-trajectory constraints, capturing safety requirements, task ordering conditions, and intermediate sub-goals commonly…