works on

From the 1 of 5 linked papers with an AI index.

collaborators

5 papers

cs.AI2026

Explaining Reinforcement Learning Agents via Inductive Logic Programming

Celeste Veronese, Edoardo Zorzi, Daniele Meli +1

The paper proposes using Inductive Logic Programming to extract symbolic rules from reinforcement learning policies and introduces objective metrics to quantify how explainable tho…

cs.AI2026

Sample-efficient Neuro-symbolic Proximal Policy Optimization

Simone Murari, Celeste Veronese, Daniele Meli

Deep Reinforcement Learning (DRL) algorithms often require a large amount of data and struggle in sparse-reward domains with long planning horizons and multiple sub-goals. In this…

cs.AI2026

Sample-Efficient Neurosymbolic Deep Reinforcement Learning

Celeste Veronese, Alessandro Farinelli, Daniele Meli

Reinforcement Learning (RL) is a well-established framework for sequential decision-making in complex environments. However, state-of-the-art Deep RL (DRL) algorithms typically req…

cs.AI2025

Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time

Celeste Veronese, Daniele Meli, Alessandro Farinelli

This paper proposes an integration of temporal logical reasoning and Partially Observable Markov Decision Processes (POMDPs) to achieve interpretable decision-making under uncertai…

cs.AI2025

Online inductive learning from answer sets for efficient reinforcement learning exploration

Celeste Veronese, Daniele Meli, Alessandro Farinelli

This paper presents a novel approach combining inductive logic programming with reinforcement learning to improve training performance and explainability. We exploit inductive lear…