Program (All times are CEST)

Monday 13th Nov

09:00 - 09:15 Welcome Address - Location: Room Magna

09:15 - 10:00 Invited Speaker Ben Falandays (CogAI) The real AI alignment problem: How to design systems that adaptively coordinate with the world, with each other, and with us Location: Room Magna Chair: Xue Li

10:00 - 11:00: Joint Journal Paper Session Location: Room Magna Chair: Donato Malerba
10:00 - 10:30 Journal TrackKatsumi Inoue, Taisuke Sato Differentiable learning of matricized DNFs and its application to Boolean networks 10:30 - 11:00 Journal TrackManuel García Piqueras, Jose Hernandez-Orallo Heuristic search of optimal machine teaching curricula

11:20 – 12:50: ILP Session (Statistical Relational Learning) Location: Room Magna Chair: Elena Bellodi

11:20 – 11:50 Conference Track Felix Weitkämper, Dmitriy Ravdin and Ramona Fabry Statistical relational structure learning with scaled weight parameters 11:50 – 12:20 Conference Track Thais Luca, Aline Paes and Gerson Zaverucha Select first, transfer later: an approach for choosing proper datasets to statistical relational transfer learning 12:20 – 12:50 Conference TrackElisabetta Gentili, Alice Bizzarri, Damiano Azzolini, Riccardo Zese and Fabrizio Riguzzi Regularization in Probabilistic Inductive Logic Programming

14:00 - 14:45 Invited speaker Ana Ozaki (ILP) Extracting Rules from ML models in Angluin’s Style Location: Room Magna Chair: Francesca A. Lisi

15:10 – 16:40: ILP Session (Neuro-symbolic approaches) Location: Room Magna Chair: Riccardo Zese
15:10 – 15:40 Conference Track Sota Moriyama, Koji Watanabe and Katsumi Inoue GNN based Extraction of Minimal Unsatisfiable Subsets 15:40 – 16:10 Conference Track Daniel Cyrus, James Trewern and Alireza Tamaddoni-Nezhad Meta Interpretive Learning from Fractal images 16:10 – 16:40 Conference Track Arne Vermeulen, Robin Manhaeve and Giuseppe Marra An Experimental Overview of Neural-Symbolic Systems

16:40 - 17:00: Recently published (Neuro-symbolic approaches) Location: Room Magna Chair: Riccardo Zese
16:40 - 17:00 Recently published Daniel Cunnington, Mark Law, Jorge Lobo and Alessandra Russo Neuro-Symbolic Learning of Answer Set Programs from Raw Data

17:00 - 18:00: Joint general track Location: Room Magna Chair: Giuseppina Andresini
17:00 - 17:30 Conference TrackBoshko Koloski, Nada Lavrač, Senja Pollak and Blaz Skrlj Latent Graph Powered Semi-Supervised Learning: Experiments on Biomedical Tabular Data 17:30 - 18:00 Conference TrackChristian Riefolo, Nicola Fanizzi and Claudia d'Amato Simple and Interpretable Probabilistic Classifiers for Knowledge Graphs

Tuesday 14th Nov

09:15 - 10:00 Invited Speaker Mateja Jamnik (CogAI) How can we make trustworthy AI? Location: Room Magna Chair: Xue Li

10:00 - 11:00: Joint Journal Paper Session Location: Room Magna Chair: Laura Giordano
10:00 - 10:30 Journal TrackAshwin Srinivasan, A. Baskar, Tirtharaj Dash, Devanshu Shah< Composition of relational features with an application to explaining black-box predictors 10:30 - 11:00 Journal TrackLun Ai, Johannes Langer, Stephen Muggleton, Ute Schmid Explanatory machine learning for sequential human teaching

11:20 – 12:40: ILP Session (Explanation and ASP-based approaches ) Location: Room Magna Chair: Annalisa Appice

11:20 – 11:50 Conference Track Kilian Rueckschloss and Felix Weitkämper What Do Counterfactuals Say about the World? Reconstructing Probabilistic Logic Programs from Answers to "What if?" Queries 11:50 – 12:10 Conference Track Celine Rouveirol, Malik Kazi Aoual, Henry Soldano and Veronique Ventos Explaining optimal trajectories 12:10 – 12:40 Conference Track Damiano Azzolini A Constrained Optimization Approach to Set the Parameters of Probabilistic Answer Set Programs

14:00 - 14:45 Invited speaker Gust Verbruggen (AAIP) Semantic programming by example with knowledge graphs and pre-trained language models Location: Room Magna Chair: Ute Schmid

15:10 – 16:40: ILP Session (Miscellaneous) Location: Room Magna Chair: Riccardo Zese

15:10 – 15:40 Conference Track Takeru Isobe and Katsumi Inoue Learning Strategies of Inductive Logic Programming Using Reinforcement Learning 15:40 – 16:10 Conference TrackYoussef Mahmoud Youssef and Martin E. Müller A Review of Inductive Logic Programming Applications for Robotic Systems 16:10 – 16:40 Conference Track Dany Varghese, Roman Bauer and Alireza Tamaddoni-Nezhad Few-shot learning of diagnostic rules for neurodegenerative diseases using Inductive Logic Programming

16:40 - 17:40: Joint general track Location: Room Magna Chair: Vincenzo Pasquadibisceglie

16:40 - 17:10 General TrackNikolai-Iraj Sanamrad, Carlos Monserrat Aranda and María José Ramírez Quintana A framework for Modelling Human Tasks using Process Mining and Event Calculus 17:10 - 17:40 General TrackDaniela Amendola, Andrea Basile, Giovanna Castellano, Gennaro Vessio and Gianluca Zaza From Voxels to Insights: Investigating the Effectiveness and Transparency of Graph Neural Networks in Brain Tumor Segmentation

17:40 - 18:10: Joint Journal Paper Session Location: Room Magna Chair: Vincenzo Pasquadibisceglie
17:40 - 18:10 Journal TrackNatarajan Sriraam, Yan Siwen, Prasad Tadepalli, Roni Khardon Explainable Models via Compression of Tree Ensembles

Wednesday 15th Nov

09:15 - 10:00 Invited Speaker Thomas Guyet (ILP) Declarative Sequential Pattern Mining in ASP Location: Room Magna Chair: Francesca A. Lisi

10:00 - 11:00: Joint Journal Paper Session Location: Room Magna Chair: Fabrizio Riguzzi
10:00 - 10:30 Journal TrackThais Luca, Aline Paes, Gerson Zaverucha Word embeddings-based transfer learning for boosted relational dependency networks 10:30 - 11:00 Journal TrackVictor Verreet, Jessa Bekker, Luc De Raedt Modeling PU Learning using Probabilistic Logic Programming

Parallel Sessions:

11:20 – 12:40: ILP Session (ASP-based approaches) Location: Room Magna Chair: Katsumi Inoue
11:20 – 11:50 Conference Track Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo and Alessandra Russo Towards ILP-based LTLf passive learning 11:50 – 12:20 Conference Track Emanuele De Angelis, Maurizio Proietti and Francesca Toni Learning Brave Assumption-Based Argumentation Frameworks via ASP

14:00 - 14:45: Recently published (Approaches and Applications of Inductive Programming) Location: Room Magna Chair: Cèsar Ferri
14:00 - 14:20 Recently published Francesca Alessandra Lisi and Gioacchino Sterlicchio A Declarative Approach to Contrast Pattern Mining 14:20 - 14:40 Recently published Francesca Alessandra Lisi and Gioacchino Sterlicchio Mining contrast sequential patterns with ASP

15:10 - 16:30: Recently published (Miscellaneous) Location: Room Magna Chair: Elena Bellodi

15:10 - 15:30 Recently published Laura Giordano and Daniele Theseider Dupre An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases 15:30 - 15:50 Recently publishedLaura Giordano, Valentina Gliozzi and Daniele Theseider Dupre A conditional, a fuzzy and a probabilistic interpretation of self-organizing maps 15:50 - 16:10 Recently published Hasra Dodampegama and Mohan Sridharan Knowledge-based Reasoning and Learning under Partial Observability in Ad Hoc Teamwork 16:10 - 16:30 Recently publishedkGiuseppina Andresini, Annalisa Appice and Donato Malerba SILVIA: An eXplainable Framework to Map Bark Beetle Infestation in Sentinel-2 Images