Detailed Main Conference Program

Welcome to the AIxIA 2026 Main conference program. Below you can find the schedule overview.

Venues
Aula Magna Università Via Francesco Innamorati, 4, 06123 Perugia PG
Sala dei Notari Piazza IV Novembre, 06123 Perugia PG
Auditorium San Francesco Auditorium San Francesco al Prato, Via S. Francesco, 4, 06123 Perugia PG
Accademia di Belle Arti Piazza San Francesco al Prato, 5, 06123 Perugia PG
Chiostro Giardino Pensile
Oratorio di S. Francesco, Via degli Sciri, 6, 06123 Perugia PG
Time # Session Schedule / Paper / Activity Room
08:00 - 18:00 Registration -
08:30 - 09:00 Opening Auditorium San Francesco
09:00 - 10:00 Invited talk: Francesca Toni Neuro-argumentative AI Auditorium San Francesco
10:00 - 10:30 Coffee break and Doctoral Consortium posters Auditorium
10:30 - 11:45 S1 Answer Set Programming and Declarative Reasoning
10:30
Declarative Verification of Binary Neural Networks
Damiano Azzolini, Riccardo Zese
10:45
Extending DP-sr with Future Atoms: Declarative Scheduling of Future Events
Francesco Calimeri, Veronica De Bastiani, Luca Laboccetta, Simona Perri, Giorgio Terracina
11:00
UN-ASP: Handling Numerical Uncertainty in Answer Set Programming
Denise Angilica, Alessia Donata Camarda, Giovambattista Ianni, Simona Perri
11:15
F-ATOMIC: Reinterpreting Everyday Events Through Investigative Contexts
Alessia Donata Camarda, Giovambattista Ianni, Simona Perri, Antonio Rodofili
11:30
Fuzzy Behavior Trees
Luca Ferragina, Ilenia Galati, Lorena Gullone, Francesco Scarcello, Muhammad Asaf
 Auditorium San Francesco
11:45 - 13:00 S2 AI for Health, Wellbeing and Life Sciences
11:45
Towards Human-Centric Lighting for Cognitive Tasks in Older Adults: A Multi-Timescale Reinforcement Learning Framework
Patrizia Ribino, Maria Mannone, Giovanni Paragliola, Claudia Di Napoli
12:00
A Large Language Model-Based Framework for Human State Estimation from Wearable Sensors
Christian Tamantini, Alessandro Umbrico, Francesca Fracasso, Gabriella Cortellessa, Francesca Cordella, Andrea Orlandini
12:15
MARIO: Interpretable Machine Learning for Length-of-Stay Stratification from Longitudinal Administrative Health Records
Danilo Croce, Vania Ferrari, Michele Bisogno, Massimiliano Andrea Vitali, Daniele Di Giovanni, Maria Vittoria Marabello, Giuseppe Liotta, Roberto Basili
12:30
Efficient Masked Decoding for Sign Motion Generation with Hand-Aware Token Refinement
Francesco Cassini, Emanuele Musumeci, Vincenzo Suriani
12:45
Multi-valued estimation of distribution algorithms for RNA design
Roberto Santana
Auditorium San Francesco
13:00 - 14:00 Lunch Chiostro
14:00 - 16:00 S3 Neuro-Symbolic, Explainable and Trustworthy AI
14:00
AiDER: Auditing and Document Evaluation via Rule Compilation and Small Language Models - An Education Case Study
Valerio Crocetti, Elia Pacioni, Aldo Franco Dragoni, Michael Ignaz Schumacher, Davide Calvaresi
14:15
Autonomous Skill Development: Neuro-Symbolic Agents that Self-Generate Verifiable Tools
Elia Pacioni, Valerio Crocetti, Andrei C. Coman, Davide Calvaresi, Gaetano Manzo, Michael Ignaz Schumacher
14:30
Minimum-Cost Hyperedge Interventions for Consensus Reaching via Answer Set Programming
Vincenzo Auletta, Francesco Cauteruccio, Diodato Ferraioli, Grazia Ferrara
14:45
Accountable FDR Anomaly Detection through Neuro-Symbolic Runtime Assurance
Anahita Nouri, Matteo Cristani
15:00
CA-WM: Learning Cellular Automaton World Models via LLM Rule Induction and Online Correction
Cesare Zavattari, Alessandro Tommasi, Giuseppe Prencipe
15:15
Reliability before Validity: Stability and Sensitivity of LLM Risk-Pattern Selection for AI Deployment Risk Assessment
Gareth McConomy, Raymond Bond, David H. Glass, Jun Liu, Holly Toner
15:30
A Probabilistic Package for Explainable Action Selection in Resource-Aware Cooperative Agents
Stefania Costantini, Valentina Pitoni
15:45
Re-evaluating Out-of-distribution Learning in Drug Discovery
Francesco Capria, Alessio Micheli, Domenico Tortorella
Auditorium San Francesco
16:00 - 16:30 Coffee break and Doctoral Consortium posters Auditorium
16:30 - 18:00 Tutorial: Eleonora Giunchiglia Title TBA Auditorium San Francesco
18:15 Welcome reception Giardino Pensile
Time # Session Schedule / Paper / Activity Room
08:15 - 18:00 Registration -
09:00 - 10:00 Invited talk: Roberto Navigli "From Semantics to LLMs... and Back Again: Lessons from BabelNet and ChatMinerva" Auditorium San Francesco
10:00 - 10:30 Coffee break and Discussion posters Auditorium
10:30-11:45 S4 Knowledge Graphs, Ontologies and Semantic Models
10:30
An Ontology-Grounded Knowledge Graph Framework for Personalized and Explainable Emotional Support in Conversational Systems
Maria Grazia Miccoli, Mauro Carlucci, Berardina De Carolis, Giuseppe Palestra, Stefano Ferilli
10:45
Preserving Assistive Identity Across Embodiments: A Knowledge-Driven AI Agent for Neurorehabilitation
Ludovica La Monica, Gloria Beraldo, Viviana Bonci, Marianna Capecci, Maria Gabriella Ceravolo, Elisa Foderaro, Marcello Tascioni, Alessandro Umbrico, Andrea Orlandini, Gabriella Cortellessa
11:00
Design of an Ontological Model to Transfer Clinical Knowledge into Autonomous Robots
Elisa Foderaro, Alessandro Umbrico, Francesca Fracasso, Alberto Olivares-Alarcos, Domenico Massimo Pisanelli, Guillem Alenyà, Gabriella Cortellessa, Andrea Orlandini, Antonio Andriella
11:15
Path-Jaccard: A Logic-based Similarity Measure for RDF Resources
Verdiana Schena, Simona Colucci, Francesco M. Donini, Floriano Scioscia
11:30
Semantic Grounding over Brute-Force Inference: A Symbiotic Evaluation of Text-to-SQL Systems
Michele Paolicelli, Cataldo Musto, Giovanni Semeraro, Alessandro Crnjar, David Landi, Claudio Saccà
 Auditorium San Francesco
11:45-13:00 S5 AI for Society, Education and Cultural Heritage
11:45
Designing AI-Mediated Higher Education: Course Design as Cognitive Governance
Giovanni Adorni, Daniele Zolezzi, Daniele Scala
12:00
Operationalising the AI Act in Italy: A Governance Framework for the National Regulatory Sandbox
Nadia Spatari
12:15
The Impact of Domain-Specific Knowledge in Legal AI: A Case Study on Italian Criminal Law
Renzo Alva Principe, Matteo Palmonari, Alberto Aimi, Davide Romano
12:30
Preserving Computer Music Heritage through RAG-Based Interpretation of Historical Source Code
Anna Zuccante, Sergio Canazza
12:45
Contextual Knowledge Conflicts in RAG Systems with a Recipe Dataset
Ejdis Gjinika, Luca Putelli, Mattia Chiari, Alessandro Pagani, Ivan Serina, Alfonso Emilio Gerevini
 Auditorium San Francesco
13:00 - 14:00 Lunch Chiostro
14:00 - 16:00 S6 Machine Learning, Graphs and Optimisation
14:00
The Interplay between Functionality and Complexity in Neural Network Efficiency
Paolo Pagliuca, Alessandra Vitanza
14:15
GatGCN: Attention-Driven Graph Convolution for Accurate and Diverse Recommendation
Luigi Sauro, Carmine Vanacore
14:30
Machine Learning-Based Graph Coarsening for Public Transport Scheduling
Samuela Carosi, Andrea Cardia, Francesca Del Lungo, Francesco Geraci, Lorenzo Sarti
14:45
Collective Decision-Making in Neural Monte Carlo Tree Search for Test Prioritization
Morena Barboni, Filippo Lampa, Andrea Morichetta, Andrea Polini
15:00
Influence Maximization on Partially Observable Social Networks with Graph Reconstruction
Vincenzo Auletta, Francesco Cauteruccio, Diodato Ferraioli, Grazia Ferrara, Andrea Marino, Rocco Gerardo Pizzulo
15:15
Bound-Aware Heuristic Discovery with Large Language Models: A 15-Puzzle Case Study
Xiaojia Li, Csaba Kiss, Roland Molontay, József Pintér
15:30
Pareto-based Heuristic Search for Timelines
Alessandro Umbrico, Riccardo Rasconi, Andrea Orlandini
15:45
An Online and Explainable Active Learning Framework for Adaptive Machine Learning Models under Concept Drift
Gabriele Nicolò Costa, Alessandra De Paola, Salvatore Drago, Pierluca Ferraro, Giuseppe Lo Re
Auditorium San Francesco
16:00 - 16:30 Coffee break and Discussion posters Auditorium
16:30 - 18:00 Tutorial: Andrea Omicini Title TBA Auditorium San Francesco
18:15 AI*IA Plenary Meeting Auditorium San Francesco
Time # Session Schedule / Paper / Activity Room
08:15 - 18:00 Registration -
09:00 - 10:00 Invited talk: Alessandro Sperduti Title TBA Auditorium San Francesco
10:00 - 10:30 Coffee break Auditorium
10:30-11:30 S7 LLM Agents and Multi-Agent Systems
10:30
AGoT: a Reasoning Framework for LLM Agents
Mattia Matteini, Marco Raggini, Giovanni Ciatto, Andrea Omicini
10:45
A Decision Framework for Inter-Agent Communication Protocol Selection
Andrea Salzillo, Yuriy Moskovchuk, Ciro Panariello, Giuseppe Gambino, Domenico Alfano, Roberto Abbruzzese
11:00
A Structural Survey of Coordination Patterns in LLM-Based Multi-Agent Systems
Nicola Esposito, Giuseppe Aniello, Giuseppe Gambino, Ciro Panariello, Domenico Alfano, Roberto Abbruzzese
11:15
A Peer-to-Peer Platform for Lifelong Learning in Dynamic Human-AI Agent Communities
Stefano Melacci, Christian Di Maio, Tommaso Guidi, Marco Gori
Auditorium San Francesco
11:30-12:30 S8 Search, Planning and Scheduling
11:30
Towards a Plausibility Metric for Contrastive Explanations in Automated Planning
Francesco Leofante, Pietro Fronza, Marco Roveri
11:45
Realizability check for Pure Past Linear Temporal Logic on Finite Traces
Giuseppe De Giacomo, Sebastiano Dissegna, Marco Roveri, Shufang Zhu
12:00
On Learning Neural Policies for FOND Planning via Transformers
Massimiliano Tummolo, Nicholas Rossetti, Luca Putelli, Ivan Serina, Alfonso Emilio Gerevini
12:15
Rob-LAPI(S)²: Robotic Language-to-Action Planning via Iterative Schema Synthesis
Emanuele Musumeci, Abdel Hakim Drid, Daniele Nardi, Vincenzo Suriani
Auditorium San Francesco
12:30 - 13:00 AIxIA awards Auditorium San Francesco
13:00 - 14:00 Lunch Chiostro
14:00 - 15:45 Workshop Session Accademia di Belle Arti
16:00 - 24:00 Excursion & Social dinner Gubbio
Time # Session Schedule / Paper / Activity Room
08:15 - 11:00 Registration -
9:00 - 10:00 S9 Generative AI for Code, Audio and Music
9:00
LLM-based Source Code Compression via Thresholded Symbol Ranking
Angelo Nardone, Paolo Ferragina
9:15
LLM Inference on NVIDIA GB200 NVL72: A Cross-Architecture Experimental Analysis
Luca Lussu, Erion Islamay, Fabrizio Montecchiani
9:30
Rotary Informational Embeddings for Symbolic Music Generation
Felix Schön, Hans Tompits
9:45
Reconstruction Error Fingerprints for Few-Shot Neural Audio Codec Attribution
Luca Bindini, Eleonora Ristori, Marco Lippi, Paolo Frasconi
Auditorium San Francesco
10:00 - 11:00 S10 Natural Language Processing and Information Retrieval
10:00
Optimizing Input Representations for Word-in-Context: A Controlled Ablation Study
Claudio Daloiso, Francesca Fallucchi, Manuel Gozzi, Alessandro Ligi
10:15
Escaping the Holistic Trap: Probing Linguistic Phenomena in Quantized LLMs for Machine Translation
Dhairya Suman, Marco Gaido, Matteo Negri
10:30
Cross-Document Neural Re-Ranking via Query-Induced Subgraphs
Andrea Giuseppe Di Francesco, Christian Giannetti, Federico Siciliano, Nicola Tonellotto, Fabrizio Silvestri
10:45
TriQA: A Multilingual, Multi-KB Question-Answer Dataset Generated from Knowledge Graph Triples and LLMs
Alessandro Temperoni, Beatrice Turano
Auditorium San Francesco
11:00 - 11:30 Coffee break Auditorium
11:30 - 13:00 Panel: "Per ELIZA (in occasione dei suoi sessant' anni)" Session Chair: Oliviero Stock Auditorium San Francesco
13:00 - 13:15 Closing Auditorium San Francesco
13:15 - 14:00 Light lunch Chiostro