PROGRAMME & TOPICS

The School will feature five tutorials:

– Neurosymbolic AI (Vaishak Belle, University of Edinburgh and Alan Turing Institute)

– Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko, Stockholm University)

– History and Culture of Al (María Vanina  Martinez, Artificial Intelligence Research Institute IIIA-CSIC Barcelona)

– Fairness: Perspectives from Computational Social Choice (Arianna Novaro, Université Paris 1 Panthéon-Sorbonne)

– Logic Tensor Networks (Luciano Serafini, Fondazione Bruno Kessler, Bolzano)

A selection of participants will have an opportunity to present their own work in the Poster Session. The following is a (non exhaustive) list of topics in which we welcome WiP submissions:

– Knowledge representation and reasoning in AI

– Logical methods in AI

– Uncertainty and decision-making in AI

– Computational social choice

– Explainable AI

– Human-compatible AI.

Tutorials

The second edition of the Logic for the new AI Spring will feature five tutorials

• Neurosymbolic AI (Vaishak Belle, University of Edinburgh and Alan Turing Institute)
• Logic-based reasoning for strategic abilities of socially Interacting rational agents (Valentin Goranko, Stockholm University)
• History and Culture of Al (María Vanina  Martinez, Artificial Intelligence Research Institute IIIA-CSIC Barcelona)
• Fairness: Perspectives from Computational Social Choice (Arianna Novaro, Université Paris 1 Panthéon-Sorbonne)
• Logic Tensor Networks (Luciano Serafini, Fondazione Bruno Kessler, Bolzano)

Poster session

The Poster Session, to be held on the afternoon of Wednesday 4 September, will give participants an opportunity to receive feedback and advice from the School lecturers. The following is a (non exhaustive) list of topics in which we welcome poster submissions:

• Knowledge representation and reasoning in Al
• Logical methods in Al
• Uncertainty and decision-making in Al
• Computational social choice
• Explainable Al
• Human-compatible Al