Program

Program

October 20, 2024. 9:30 - 17:30

9:00–10:30 - Session 1

• Cedric Mesnage, Xiaoyang Wang, Hang Dong and Aishwaryaprajna Aishwaryaprajna. Evaluating Inductive Reasoning Capabilities of Large Language Models With The One Dimensional Abstract Reasoning Corpus

• Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa and Luís Paulo Reis. Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
  
  

10:30–11:00 - Coffee break

11:00–12:30 - Session 2

• Paulina Gacek and Weronika T. Adrian. Automatic Curriculum Cohesion Analysis Based on Knowledge Graphs

• Celeste Veronese, Daniele Meli and Alessandro Farinelli. Online inductive learning from answer sets for efficient reinforcement learning exploration
  
  

12:30–14:30 - Lunch break

14:30–15:30 - Keynote Session

Prof. Francesco Ricca, University of Calabria 

Title: "ASP-based Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels"

15:30–16:00 - Coffee break

16:00–17:30 - Session 4

• Marco Adriano Ferrero, Davide Azzalini, Matteo Giuliani, Andrea Castelletti, Federico Cerutti and Francesco Amigoni. Trustworthy Inductive Knowledge for Tropical Cyclones Formation Detection

• Davide Tosi and Marika Scalise. Understanding Artificial Intelligence in Chess: the RubiChess case study
  
  

Each time slot consists of 30 minutes (talk) + 10 minutes (possible questions).