Accepted Papers
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)
Veronika Semmelrock, Benedetta Strizzolo, Francesco Zuccato, Gerhard Friedrich, Patrick Rodler and Konstantin SchekotihinÂ
Learning to Solve and Optimize by Evolving Code
Mario Alviano, Danilo Amendola, Luis Angel Rodriguez Reiners and Pierpaolo Sestito
Declarative Anchor Placement for BLE Indoor Localization
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
Luciano Caroprese, Ester Zumpano and Maira Aracne
From Observations to Explanations: Discovering Logic Programs through Reinforcement Learning