Current Courses at University of Genoa (see here)
Logica (here). Introduction to mathematical logic for philosophy.
Logica (LM) (here). Selected topics in logic for the Master in Philosophical Methods.
Ontological Patterns and Anti-pattenrs for the modeling of complex enterprise relationships. Tutprial at CAISE 2019 (with G. Guarino and G. Guizzardi). 31st International Conference on Advanced Information Systems Engineering. Rome, Italy. June 2019. link
Introduction to Judgment Aggregation. European Agent Systems Summer School (EASSS). Maastricht, The Netherlands. June 2018. tutorial page
Introduction to the logics of agency. European Agent Systems Summer School (EASSS) (with N. Troquard). Maastricht, The Netherlands. June 2018. tutorial page
Formal Ontological Analysis and Knowledge Representation (FOAKR) (with G. Guarino and G. Guizzardi). 17th International Conference of the Italian Association for Artificial Intelligence, Trento, November 20-23, 2018 (AI*IA). tutorial page
Tutorial Proofs and Dialogues. Workshop “Dialogues and Games: Historical Roots and Contemporary Models”. February 2010. tutorial page
Introduction to Game Theory. Doctoral School on Computer Science, Free University of Bozen-Bolzano. (2016, 2017, 2018, 2019, 2020).
Formal languages and compilers (labs). Free University of Bozen-Bolzano. 2018.
Discrete Mathematics and Logic (labs). Free University of Bozen-Bolzano. 2017.
Data Structures and Algorithms (labs). Free University of Bozen-Bolzano. 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. (link)
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. course page
Modern Classics in Social Choice Theory. Master of Logic project (co-lecturer), University of Amsterdam, June 2009. course page
Exercise Class in Mathematical Logic, Department of Philosophy, University of Genoa, 2005-2007.
Elements of logic, Master in Cognitive Science, University of Genova. 2005.