Program
10-10:10 WELCOME
10:10-11:10 INVITED TALK : FRANCESCA ALESSANDRA LISI on Ethics and Gender for a Responsible Research and Innovation in AI
SESSION I: LOGIC FOR AI (11:10-13:00)
Giuseppe Primiero and Fabio Aurelio D'Asaro: "Proof-checking bias in labeling methods"
Melissa Antonelli: "Two Remarks on Counting Propositional Logic"
Xinghan Liu and Emiliano Lorini: "Logics for Binary-input Classifiers and Their Explanations" (short paper)
Mattia Petrolo and Ekaterina Kubyshkina: "Reasoning about algorithmic opacity" (short paper)
13:00-14:00 LUNCH BREAK
SESSION II: TECHNICAL APPROACHES TO XAI, PART I (14:00-15:20)
Alessandro Castelnovo, Riccardo Crupi, Nicole Inverardi, Daniele Regoli and Andrea Cosentini: "Investigating Bias with a Synthetic Data Generator: Empirical Evidence and Philosophical Interpretation"
Alessandro Castelnovo, Lorenzo Malandri, Fabio Mercorio and Mario Mezzanzanica: "Towards Fairness Through Time"
Serge Dolgikh: "Fairness and Bias in Learning Systems: a Generative Perspective" (short paper)
15:20-15:30 BREAK
SESSION III: CONCEPTUAL VIEWS (15:30-16:30)
Alexander Berman, Ellen Breitholtz, Christine Howes and Jean-Philippe Bernardy: "Explaining predictions with enthymematic counterfactuals" (short paper)
Aleks Knoks and Thomas Raleigh: "XAI and philosophical work on explanation: A survey" (short paper)
Silvana Badaloni and Antonio Rodà: "Gender knowledge and Artificial Intelligence" (short paper)
16:30-16:40 BREAK
SESSION IV: TECHNICAL APPROACHES TO XAI, PART II (16:40-17:50)
Daniele Fossemò, Filippo Mignosi, Luca Raggioli, Matteo Spezialetti and Fabio D'Asaro: "Using Inductive Logic Programming to globally approximate Neural Networks for preference learning: challenges and preliminary results"
Andrea Apicella, Francesco Isgrò and Roberto Prevete: "XAI approach for addressing the dataset shift problem: BCI as a case study" (short paper)
Muhammad Suffian and Alessandro Bogliolo: "Investigation and Mitigation of Bias in Explainable AI" (short paper)
17:50-18 CLOSING