Formal Ontological Analysis and Knowledge Representation (FOAKR).
17th International Conference of the Italian Association for Artificial Intelligence,
Trento, November 20-23, 2018 (AI*IA).
Page of the tutorial: (FOAKR)
Introduction to Game Theory. Doctoral School on Computer
Science, University of
Bolzano. 2016 and 2017.
Discrete Mathematics and Logic (labs). 2017.
Data Structures and Algorithms (labs). 2017.
Introduction to Multiagent systems. Doctoral School on Information and Communication Technology, University of Trento. 2016
Introduzione alle logiche dell'azione. Master in Philosophy. University of Genova. Autumn 2015.
Computer Vision Meets Formal Ontology: advanced methods, recent applications and perspectives. (with M. Cristani, R. Ferrario). Trento. June 2015.
Giudizi, preferenze, deliberazioni: modelli di scelta sociale. University of Padova. November 2012.
Logic Programming and Search Techniques. BSc Artificial Intelligence, University of Amsterdam, Autumn 2011.
Normative Foundations and Mathematical Modelling of Egalitarian and Utilitarian Welfare.Master of Logic project, University of Amsterdam, January 2011.
Modern Classics in Social Choice Theory. Master of Logic project (co-lecturer), University of Amsterdam, June 2009.
Tutorial Proofs and Dialogues. Workshop "Dialogues and Games: Historical Roots and Contemporary Models". February 2010.
Exercise Class in Mathematical Logic, Department of Philosophy, University of Genoa, 2005-2007.
Elements of logic, Master in Cognitive Science, 2005.