Davide De Martini

According to our database, Davide De Martini authored at least 4 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications.

Enrico Saccon, Davide De Martini, Matteo Saveriano, Edoardo Lamon, Luigi Palopoli, Marco Roveri

IEEE Robotics Autom. Lett., February, 2026

2025

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, Marco Roveri

CoRR, February, 2025

When Prolog Meets Generative Models: a New Approach for Managing Knowledge and Planning in Robotic Applications - Abstract.

Enrico Saccon, Ahmet Tikna, Davide De Martini, Edoardo Lamon, Luigi Palopoli, Marco Roveri

Proceedings of the Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), 2025

2024

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, Marco Roveri

Proceedings of the IEEE International Conference on Robotics and Automation, 2024