Publications

Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, and Stefano Teso. 2025. "Symbol Grounding in Neuro-Symbolic AI:  A Gentle Introduction to Reasoning Shortcuts". Journal of Artificial Intelligence Research (JAIR). Paper.

Ashkan Ansarifard, Matteo Mancanelli, Elena Umili, Fabio Patrizi. 2026. "Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies". Joint Workshop on Statistics and Knowledge Integration for Logic, Learning, Ethical Decisions, and LLMs (SKILLED-LLMs@FLoC2026).

Emanuele Musumeci, Alessio Saladino, Elena Umili, Luca Iocchi, Daniele Nardi. 2026. "CoSP-TL: Common Sense enhanced Planning under Temporal Logics constraints with LLMs". 2nd Workshop on Cognitive Architectures and Robotic Learning Agents ( CARLA@FLoC 2026). 

Axel Mezini, Elena Umili, Ivan Donadello, Fabrizio Maria Maggi, Matteo Mancanelli, Fabio Patrizi. 2026. "Neuro-Symbolic Predictive Process Monitoring". Information Systems (IS). Paper.

Matteo Pannacci, Andrea Fanti, Elena Umili, Roberto Capobianco. 2026. "Grounding LTL Tasks in Sub-Symbolic RL Environments for Zero-Shot Generalization". 3rd Reinforcement Learning Conference (RLC 2026). Paper | Code .

2025

Elena Umili. "DeepDFA: Learning and Integration of Regular Languages with Deep Learning". 2025. 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025). Paper.

Francesco Argenziano, Elena Umili, Francesco Leotta, Daniele Nardi. 2025. "Defining and Monitoring Complex Robot Activities via LLMs and Symbolic Reasoning". 37th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2025) . Paper | Code.

Hazem Dewidar and Elena Umili. 2025. "Fully Learnable Neural Reward Machines".  7th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY@ECAI 2025). Paper  | Code .

Elena Umili and Roberto Capobianco. 2025. "Learning Minimal Symbolic Representations and Temporal Rules from Visual Sequences". Preprint | Code .

2024

Elena Umili, Francesco Argenziano, Roberto Capobianco. 2024. "Neural Reward Machines". 27th European Conference on Artificial Intelligence (ECAI 2024). Paper  | Code .

Elena Umili, Roberto Capobianco. 2024. "DeepDFA: Automata Learning through Neural Probabilistic Relaxations". 27th European Conference on Artificial Intelligence (ECAI 2024). Paper  | Code .

Andrea Fanti, Elena Umili, Roberto Capobianco. 2024. "Transfer Learning between non-Markovian RL Tasks through Semantic Representations of Temporal States". 1st International Workshop on Adjustable Autonomy and Physical Embodied Intelligence (AAPEI@ECAI 2024).  Paper | Code .

Elena Umili, Gabriel Paludo Licks, Fabio Patrizi. 2024. "Enhancing Deep Sequence Generation with Logical Temporal Knowledge". 3rd International Workshop on Process Management in the AI era (PMAI@ECAI 2024). Paper | Code .

2023

Elena Umili. 2023. "Neurosymbolic Integration of Linear Temporal Logic in Non Symbolic Domains". 2023 European Conference on Multi-Agent Systems (EUMAS 2023). Paper. 

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo. 2023. "Grounding LTLf specifications in image sequences". 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023). Paper | Code .

Elena Umili, Francesco Argenziano, Aymeric Barbin, Roberto Capobianco. 2023. "Visual Reward Machines". 17th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2023). Paper | Code .

Elena Umili. 2023. "Discovering logical knowledge in non-symbolic domains". PhD Thesis. Paper .

2022

Elena Umili, Roberto Capobianco, Giuseppe De Giacomo. 2022. "Grounding LTLf specifications in images". 16th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2022). Paper | Code.

2021

Elena Umili, Emanuele Antonioni, Francesco Riccio, Roberto Capobianco, Daniele Nardi, Giuseppe De Giacomo. 2021. "Learning a Symbolic Planning Domain through the Interaction with Continuous Environments". Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL@ICAPS2021). Paper .

2020