When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications. - Enrico Saccon; Ahmet Tikna; Davide De Martini; Edoardo Lamon; Luigi Palopoli 002; Marco Roveri (ICRA, 2024)

A Temporal Planning Framework for Multi-Agent Systems via LLM-Aided Knowledge Base Management. - Enrico Saccon; Ahmet Tikna; Davide De Martini; Edoardo Lamon; Luigi Palopoli 002; Marco Roveri (CoRR, 2025)