Program
5th International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA)
5th International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA)
September 8, 2026. 8:30 - 12:00
8:30 – 9:30 - Talk Session
Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners and Pierpaolo Sestito
Declarative Anchor Placement for BLE Indoor Localization
Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Patrick Rodler and Konstantin Schekotihin
Learning to Solve and Optimize by Evolving Code
Luciano Caroprese, Ester Zumpano and Maira Aracne
From Observations to Explanations: Discovering Logic Programs through Reinforcement Learning
Achille Abritta, Manuel Borroto Santana, Liberino Covelli, Steven Crocco, Giuseppe Mazzotta, Andrea Panetta, Carmelo Pitrelli, Irene Pugliatti, Francesco Ricca and Saverio Veltri
SIGENERA: Large Language Models (LLMs) for Information Systems Control, Automatic Text Generation, and Knowledge Base Access
Achille Abritta, Manuel Alejandro Borroto Santana, Domenico Chiarella, Salvatore Iiritano, Stefano Longo, Giuseppe Mazzotta, Davide Pasanisi, Francesco Ricca, Tommaso Salgarelli, Gerardo Scarpinati and Francesco Tumminelli
MOZART: Neuro-symbolic AI for Industrial Process Modernization
9:30–10:00 - Coffee break
10:00–11:00 - Invited Talk
Tackling the Grounding Bottleneck through Compilation-Based ASP Solving
Giuseppe Mazzotta, University of Calabria
11:00–12:00 - Poster Session