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