Daniele Porello






Teaching


Introduction to Game Theory. Doctoral School on Computer Science, University of Bolzano. 2016.

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.
link

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.
link

Modern Classics in Social Choice Theory. Master of Logic project (co-lecturer), University of Amsterdam, June 2009.
link

Tutorial Proofs and Dialogues. Workshop "Dialogues and Games: Historical Roots and Contemporary Models". February 2010.
link

Exercise Class in Mathematical Logic, Department of Philosophy, University of Genoa, 2005-2007.

Elements of logic, Master in Cognitive Science, 2005.