Conference Talk at IEEE ICRA 2024
Date:
Presented the paper [When Prolog Meets Generative Models: A New Approach for Managing Knowledge and Planning in Robotic Applications], showing how Large Language Models (LLMs) can be paired with Prolog-based symbolic reasoning to automatically generate and refine robotic knowledge bases for planning and control.