activity
20192026
most citedSynthesizing Evolving Symbolic Representations for Autonomous Systems

1 citations · 1 across the 5 of their papers we have counts for

collaborators

5 papers

cs.LO2026

Declarative Problem Solving in UAM Strategic Deconfliction

Gioacchino Sterlicchio, Angelo Oddi, Riccardo Rasconi +1

The growing demand for Urban Air Mobility (UAM) introduces significant challenges in airspace management, particularly within densely populated metropolitan regions. As the number…

quant-ph2025

Divide-et-impera Heuristic-based Randomized Search for the Qubit Routing Problem

Marco Baioletti, Fabrizio Fagiolo, Angelo Oddi +1

This paper introduces the DIRSH algorithm for the Qubit Routing Problem (QRP), using a heuristic-guided randomized divide-and-conquer strategy. The method splits the circuit into c…

cs.AI2024★ 1 cited

Synthesizing Evolving Symbolic Representations for Autonomous Systems

Gabriele Sartor, Angelo Oddi, Riccardo Rasconi +2

Recently, AI systems have made remarkable progress in various tasks. Deep Reinforcement Learning(DRL) is an effective tool for agents to learn policies in low-level state spaces to…

cs.AI2022

Option Discovery for Autonomous Generation of Symbolic Knowledge

Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer +3

In this work we present an empirical study where we demonstrate the possibility of developing an artificial agent that is capable to autonomously explore an experimental scenario.…

cs.AI2019

Learning High-Level Planning Symbols from Intrinsically Motivated Experience

Angelo Oddi, Riccardo Rasconi, Emilio Cartoni +3

In symbolic planning systems, the knowledge on the domain is commonly provided by an expert. Recently, an automatic abstraction procedure has been proposed in the literature to cre…