Bridging the Gap Between AI and Reality • Rhodes, Greece
| Time | Topic | Authors |
| 14:30 | Explaining Themselves and Making Friends: Towards Formalising the Sociability of Autonomous Agents | Maike Schwammberger |
| 14:50 | Bridging Explanations and Logics: Opportunities for Multimodal Language Models | Vincenzo Scotti |
| 15:10 | Scaling Observation-aware Planning in Uncertain Domains | Alberto Lluch Lafuente |
| 15:20 | Scaling Observation-aware Planning in Uncertain Domains: Tool Demo | Adrian Zvizdenco, Arthur Conrado Veiga Bosquetti |
| 15:40 | Formalizing Specifications with Foundational Models and Consistency Checkers | Dejan Nickovic |