CARLA — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
Session Chair:
Location:
C4.01
| 14:30-14:40 |
Opening (abstract) 10 min
1 University of Calabria, Italy
|
| 14:40-14:55 |
A Neuro-Symbolic Agent for Video Anomaly Detection (abstract) 15 min
1 University of Calabria
|
| 14:55-15:10 |
CoSP-TL: Common Sense enhanced Planning under Temporal Logics constraints with LLMs (abstract) 15 min
1 Sapienza University of Rome
|
| 15:10-15:25 |
Logic-Based Multi-Robot Coordination in Digital Twins: A DALI2 + CoppeliaSim Case Study for Cooperative Search and Rescue (abstract) 15 min
1 Univaq
|
Session Chair:
Location:
C4.01
| 16:30-16:45 |
ASPembly: Neuro-Symbolic Knowledge Extraction of Assembly Instructions into ASP (abstract) 15 min
1 University of Calabria
|
| 16:45-17:00 |
Collaborating with Ad Hoc Agents through Reasoning and Learning (abstract) 15 min
1 University of Edinburgh
|
| 17:00-17:30 |
Overview on LLMs for Reasoning and Reasoning for LLMs (abstract) 30 min
1 Cardiff University
|
| 17:30-17:35 |
Closing (abstract) 5 min
1 University of Calabria, Italy
|
