Program (All times are CEST)

Monday 13th Nov

08:30 - 09:00 Registrations 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:00 – 11:20: Coffee Break

Parallel Sessions:

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

11:20 – 12:40: CogAI Session (Communication and Cognition) Location: Room B Chair: Xue Li
11:20 – 12:10 Invited Talk Invited Talk by Prof. Nick Chater How could we make a social robot? A virtual bargaining approach(Online) 12:10 – 12:40 Conference TrackJye Wong and Cynthia Siew Word Association Network of English Words Unique to Singapore English

12:50 – 14:00 : Lunch Break

14:45 – 15:10: Coffee Break

Parallel Sessions:

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

15:10 – 16:40: CogAI Session (Communication and Cognition) Location: Room B Chair: Thomas Wong
15:10 – 15:40 Conference Track Alexander Kilpatrick Sound Symbolism in Automatic Emotion Recognition and Sentiment Analysis 15:40 – 16:10 Conference Track Abdul Rehman, Jian Jun Zhang and Xiaosong Yang Intonation Template Matching for Syllable-Level Prosody Encoding 16:10 – 16:40 Conference Track Avashna Govender and Simon King Cognitive load of Modern Text-To-Speech 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

08:30 - 09:15 Registrations

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

Parallel Sessions:

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

11:20 – 12:40: CogAI Session (Learning and Reasoning) Location: Room B Chair: Xue Li
11:20 – 12:10 Invited TalkAlan Bundy Representational change is integral to reasoning 12:10 - 12:40 Conference Track Alexander Philipp Rader and Alessandra Russo Active learning in neurosymbolic AI with Embed2Sym

12:50 – 14:00 : Lunch Break

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

Parallel Sessions:

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

15:10 – 16:40: CogAI Session (Cognitive AI) Location: Room B Chair: Pak Yin Chan
15:10 – 16:10 Invited TalkAntonio Lieto The Cognitive Paradigm in the artificial Intelligence Research 16:10 - 16:40 Conference Track Mohan Sridharan A Cognitive Architecture for Integrated Robot Systems

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

19:00-20:00: Tour of the old town of Bari

20:00: Social Dinner and ILP awards

Wednesday 15th Nov

08:30 - 09:15 Registrations

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

11:20 – 12:40: CogAI Session (Representational Change) Location: Room B Chair: Xue Li
11:20 – 11:50 Conference TrackWan Ki Wong, Xue Li and Alan Bundy Automating Theory Repair in First Order Logic 11:50 - 12:40 Combined Talk: Pak Yin Chan, Xue Li and Alan Bundy An overview of using large language models for the symbol grounding task in ABC repair system Yiwei Lu, Yuhui Lin, Xue Li, Alan Bundy, Andrew Ireland and Burkhard Schafer Logic and Theory Repair in Legal Modification

12:50 – 14:00 : Lunch Break

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

14:45 – 15:10: Coffee Break

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