4 papers
LLMs for Executable Multi-Agent System Specification Generation
Andreas Kouvaras, Periklis Mantenoglou, Alexander Artikis
MAS specifications express the effects of the actions of the agents and their environment, as well as other temporal phenomena, such as the intervals during which an agent may perf…
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…
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…
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
Periklis Mantenoglou, Rishi Hazra, Pedro Zuidberg Dos Martires +1
Owing to their reasoning capabilities, large language models (LLMs) have been evaluated on planning tasks described in natural language. However, LLMs have largely been tested on p…