University of Genoa :: Department of Philosophy :: Epistemology Section

Daniele Porello PhD

Daniele Porello
Laboratory for Applied Ontology, ISTC,CNR
Via Alla Cascata 56C, 38123, Trento.

E-mail: danieleporello at gmail dot com.
My personal homepage (with my papers, teaching, etc): http://www.danieleporello.net
My homepage at LOA:
http://www.loa.istc.cnr.it/people/porello/




CV

After my PhD dissertation in Philosophy at the University of Genoa I have been working in different Institutions, mainly at
:: Bordeaux (at LaBRI-Laboratoire Bordelais de Recherche en Informatique with SIGNES) 
:: Paris (at LAMSADE - Laboratoire d'Analyse et Modélisation de Systèmes pour l'Aide à la DEcision)
:: Amsterdam (at the Institute for Logic, Language and Computation - ILLC - working in Computational Social Choice
:: Laboratory of Applied Ontology, ISTC, CNR in Trento on the project VisCoSO.

I have been granted the level of "Associate Professor" at the recent National Evaluation (Abilitazione II Fascia M-FIL/02)


Research interests: Logic :: Linear Logic :: Multiagent systems :: Philosophy of Language :: Ontology :: Social Choice Theory :: Deliberation :: Distributive Justice



Selected Publications (a full list of my publication is here)

  • (201x) Daniele Porello and Ulle Endriss. Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption. Journal of Logic and Computation. In press.
  • (2014) Daniele Porello, Francesco Setti, Roberta Ferrario, and Marco Cristani. Multiagent Socio-Technical Systems. An Ontological Approach. In Proceedings of the 15th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2013), AAMAS 2013. In press. (paper
  • (2014) Daniele Porello and Nicolas Troquard. A resource-sensitive account of the use of artifacts. In 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), Paris, France. IFAAMAS, 2014. (Short paper, submitted as such). In press.
  • (2013) Daniele Porello. A Proof-Theoretical View of Collective Rationality. In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013). August 2013.
  • (2013) Daniele Porello. Deliberating About Voting Dimensions. In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), May 2013.
  • (2013) Valeria Ottonelli and Daniele Porello. On the Elusive Notion of Meta-Agreement. Politics, Philosophy & Economics. 12 (1): 68-92. (paper)(2012) Ulle Endriss, Umberto Grandi, and Daniele Porello. Complexity of Judgment Aggregation. Journal of Artificial Intelligence Research, 45:481-514
  • (2012) Daniele Porello. Incompatibility Semantics from Agreement. Philosophia 40 (1):99-119.
  • (2010) Daniele Porello and Ulle Endriss. Modelling Combinatorial Auctions in Linear Logic. In Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR-2010), May 2010.
  • (2010) Daniele Porello. Ranking Judgments in Arrow's Settings, Synthese 173: 199-210, Knowledge, Rationality & Action 77-88, 2010.

Teaching Activities at University of Genova (an updated list of my teaching activity is here)

  • 2003-2006: Exercise Seminars for "Logic" and "Mathamatical Logic" (D. Palladino);:
  • 2004-2005: Seminars for "Logic" (M. Marsonet) and "Mathamatical Logic"(M. Frixione)
  • 2005: Lecturer "Elements of Logic" (Master in Cognitive Sciences 2005/ 2006)

Seminars at University of Genova

  • "L'argomento (ontologico) di Anselmo in prospettiva filosofico-teologica e logica", (with Matteo Zoppi), (3, 2007).
  • "Discussione su Jason Stanley, 'Semantics in Context' ", Seminario sui Contesti (6, 12, 2006), Genova
  • "Frege, Husserl e la teoria delle grammatiche categoriali", Seminari dei Dottorandi in Filosofia (5, 2004).
  • "Analisi logiche del verbo essere (Anselmo, Kant e Frege)", Seminari dei Dottorandi in Filosofia (7, 11-13, 2004).
  • "Calcolabilità e decidibilità", in collaborazione con D. Palladino. Lezioni di Dottorato, (3, 2-4, 2004).
  • "La prova ontologica di Anselmo", Seminario di Approfondimento per il corso di Logica (2004).
  • "Cenni sui teoremi di Goedel", Seminari dei Dottorandi in Filosofia, (7, 16-17, 2003).

Member of Research Projects

2005-2007: PRIN (Progetto di Rilevante Interesse Nazionale) "Conoscenza di sé, dell'altro, del mondo: presupposti, relazioni, implicazioni" (responsabile dell'unità operativa di Genova Prof. Michele Marsonet), inserito nel progetto nazionale " ; Architettura della conoscenza teorica e pratica. Un'indagine critica dei concetti di credenza, verità e giustificazione razionale" (responsabile nazionale Prof. Rosaria Egidi).

2003-2005: Research Unit:"Understanding and reasoning: the backbones of linguistic communication'' (coordinatore dell'unità: C. Penco), nell'ambito del programma nazionale: "Representing and inferring. A study of mental processes from the point of view of analytical philosophy and cognitive science" (coordinatore nazionale: Prof. C. Penco)


Organization

Organizing Committee:

  • SIFA national congress: Filosofia analitica e cultura europea, Genova, Dip. di Filosofia, 23-25 September, 2004.
  • International Meeting on Mental Processes: Representing and Inferring, Genova, Dip. di Filosofia, 19-21 October 2005.
  • Verità e Conoscenza, Genova, Dip. di Filosofia, 16-17 October 2006.
  • Seminar: Temi e Problemi di Epistemologia contemporanea, Genova, Dip. di Filosofia, October 2006 - May 2007.
  • Knowledge, Language, and Interpretation: on the Philosophy of Donald Davidson, Genova, Dip. di Filosofia, 24-26 May 2007.


  • Torna all'inizio