Showing 2025Show all
3 papers · 1 filter
cs.AI2025
Symbol Grounding in Neuro-Symbolic AI: A Gentle Introduction to Reasoning Shortcuts
Emanuele Marconato, Samuele Bortolotti, Emile van Krieken +6
Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.g. safety or structural constraints. As such, it represents…
cs.LG2025
Fully Learnable Neural Reward Machines
Hazem Dewidar, Elena Umili
Non-Markovian Reinforcement Learning (RL) tasks present significant challenges, as agents must reason over entire trajectories of state-action pairs to make optimal decisions. A co…
cs.RO2025
Defining and Monitoring Complex Robot Activities via LLMs and Symbolic Reasoning
Francesco Argenziano, Elena Umili, Francesco Leotta +1
Recent years have witnessed a growing interest in automating labor-intensive and complex activities, i.e., those consisting of multiple atomic tasks, by deploying robots in dynamic…