DANIELE PORELLO
Laboratory for Applied Ontology,
Institute of Cognitive Science and Technology, CNR.
Via alla Cascata 56C, 38123 Trento
Tel: +31 (0)20 525 8240
Email: [email protected]
home page: http://www.danieleporello.net
home page at LOA: http://http://www.loa.istc.cnr.it/porello/
Research profile. I do research at the interface of logic, artificial intelligence and mathematical
economics. I have worked on combinatorial auctions, distributed negotiation, judgment aggregation
and ontology merging. Moreover, I do research in philosophy, in particular in philosophy of language,
ontology, and political philosophy (distributive justice, deliberative democracy).
Area of Specialization: proof theory, linear logic, multiagent systems, judgment aggregation, social
choice theory.
Area of Competence: logic, logic programming, philosophy of language, formal semantics, ontology,
distriutive justice, political philosophy.
Employments
(2012 – ) Research fellow, Laboratory for Applied Ontology, ISTC,
CNR, Trento.
Grant: VISCOSO, http://www.loa.istc.cnr.it/
ferrario/VISCOSO/index.html.
(2009 – 2012) Fixed-term researcher, ILLC (Institute for Logic, Language & Computation), Universiteit van Amsterdam.
Grant: European Science Foundation, LogICCC: “Computational Foundation of Social Choice”.
http://staff.science.uva.nl/~ulle/group.html
(2007 – 2008) Postdoc INRIA (Institute National de Recherche en Informatique et en Automatique), Bordeaux. LaBRI (Laboratoire Bordelaise
de Recherche en Informatique).
http://signes.labri.fr/#equipe
Fellowships
March 2011: LAMSADE (Laboratoire d’Analyse et Modélisation de
Systèmes pour l’Aide à la DEcision) Nicholas Maudet (Paris Dauphine).
Grant: Algorithmic Decision Theory, Cost Action.
November 2010: Equipe SIGNES (LaBRI, Laboratoire Bordelaise de
Recherche en Informatique), Bordeaux. Grant: INRIA, SIGNES.
Education
(2003 – 2006) PhD in Philosophy, University of Genova.
Thesis: “Linguistic Applications of Non-Commutative Logic”.
(1997 – 2002) Master in Philosophy (Laurea Magistrale in Filosofia),
University of Genova. Level in national classification 110/110 cum laude.
Thesis: “Logic and Category Theory. Foundational Perspectives”
CV – Daniele Porello – 1
Publications
Journal
papers
• (201x) Daniele Porello and Ulle Endriss. “Ontology Merging as Social
Choice: Judgment Aggregation under the Open World Assumption”.
Journal of Logic and Computation (to appear).
• (201x) V. Ottonelli and D. Porello. “On the Elusive Notion of MetaAgreement”. Politics, Philosophy & Economics (to appear).
• (201x) D. Porello. “Logic in Social Choices”. Cognitive Systems (to
appear).
• (2012) U.Endriss, U. Grandi, and D. Porello. “Complexity of Judgment Aggregation”. Journal of Artificial Intelligence Research, 45:481514, 2012.
• (2012) D. Porello. “Incompatibility Semantics from Agreement”.
Philosphia, 40 (1):99-119.
• (2010) D. Porello. “Ranking Judgments in Arrow’s Settings”, Synthese, 173: 199-210, Knowledge, Rationality & Action 77-88, 2010.
• (2010) D. Porello. “Logica, preferenze e deliberazione. Un modello
logico dei processi deliberativi”. Sistemi Intelligenti, Anno XXII, n.1,
Aprile 2010, 49-64.
• (2007) D. Porello. “Deductive and Grammatical Competence: Type
Logical Remarks on Nesting Phenomena”. Epistemologia. Rivista Italiana di Filosofia della Scienza, 30, (2), 2007, pp. 281-306.
Refereed
proceedings
• (2012) D. Porello. “The Consistency of Majority Rule”. In Proceedings of the 20th European Conference on Artificial Intelligence
(ECAI-2012), Montpellier, August 2012.
• (2012) D. Porello. “Agents Deliberating about Voting Dimensions”.
In Proceedings of the 10th Conference on Logic and the Foundations
of Game and Decision Theory (LOFT-2012), June 2012. (To appear).
• (2011) D. Porello. “Giustificazioni pubbliche e modelli di giustizia
distributiva”. Proceedings of AISC (Associazione Italiana Scienze
Cognitive), Milan, December 2011. (To appear).
• (2011) D. Porello and U. Endriss. “Ontology Merging as Social
Choice”. In Proceedings of the 12th International Workshop on
Computational Logic in Multiagent Systems (CLIMA-2011), July
2011.
• (2011) S. Airiau, U. Endriss, U. Grandi, D. Porello and J. Uckelman.“Aggregating Dependency Graphs into Voting Agendas in
Multi-Issue Elections”. In Proceedings of the 22nd International
Joint Conference on Artificial Intelligence (IJCAI-2011), July 2011.
CV – Daniele Porello – 2
Refereed
proceedings
• (2010) U. Endriss, U. Grandi and D. Porello. “Complexity of
Winner Determination and Strategic Manipulation in Judgment
Aggregation”. In Proceedings of the 3rd International Workshop
on Computational Social Choice (COMSOC-2010), University
of Düsseldorf, September 2010.
• (2010) D. Porello and U. Endriss. “Modelling Multilateral Negotiation in Linear Logic”. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), August
2010.
• (2010) D. Porello and U. Endriss. “Modelling Combinatorial
Auctions in Linear Logic”. In Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning, Toronto, Canada, May 9-13, 2010
(KR-2010), May 2010. ‘
• (2010) U. Endriss, U. Grandi and D. Porello. “Complexity of
Judgment Aggregation: Safety of the Agenda”. In Proceedings of the 9th International Joint Conference on Autonomous
Agents and Multiagent Systems (AAMAS-2010), May 2010.
• (2010) C. Penco and D. Porello. “Sense and Proofs”. In
New Essays in Logic and Philosophy of Science, Marcello
D’Agostino, Giulio Giorello, Federico Laudisa, Telmo Pievani
and Corrado Sinigaglia (eds), College Publications, London.
• (2009) D. Porello. “Logic and Pragmatics”. In Proceedings of
TAP-2009 (Towards an Analyitc Pragmatism), C. Amoretti, C.
Penco, F. Pitto (eds), CEUR-Workshop Proceedings, Vol-444.
• (2009) D. Porello. “Dimensioni di Voto e Coerenza”. In Proceedings of AISC 2009 (Italian Society of Cognitive Science),
Napoli.
• (2007) D. Porello. “Aggregation of Ranking Judgements and
Arrow’s Theorem”. In A Meeting of the Minds. Proceedings of
Workshop on Logic, Rationality and Interaction, Beijing, 2007,
J. van Benthem, Shier Ju and F. Veltman, (eds.), Text in Computer Science 8, College Publication, London, 2007, pp. 201212.
CV – Daniele Porello – 3
In Books
• (2012) D. Porello. “Reasoning about Multiagent Resource Allocation in
Linear Logic ”. In Logic and Interactive RAtionality Yearbook 2011, Amsterdam.
• (2010) D. Porello. “Logic in Social Choices”. In M. Cruciani (ed) Practices
of Cognition. Recent Researches in Cognitive Sciences. Trento: Università
degli Studi di Trento. ISBN 978-88-8443-350-3
• (2008) D. Porello. “Linguistic Applications of Non-Commutative Logic”.
In C. Casadio, J. Lambek (eds), Computational Algebraic Approaches to
Natural Language, Polimetrica, Monza/Italy, 2008, pp. 213-232.
Abstracts
• (2008) “A Translation of Discursive Dilemma into Condorcet’s Paradox”.
In Volume of Abstracts 6th European Congress of Analytic Philosophy,
Jagiellonian University, Institute of Philosophy, 21–26 August, Krakow,
Poland. http://ecap.phils.uj.edu.pl/
• (2007) “Categorical Basis of Metaphysics”. In Handbook of Universal Logic,
Xi An. http://www.uni-log.org/f-bookunilog07.pdf
Reviews
• (2006) C. Penco (ed), La svolta contestuale, McGraw-Hill, Milano 2002.
Epistemologia. Rivista Italiana di Filosofia della Scienza, 29 (2).
• (2006) A. Varzi, J. Nolt, D. Rohatyn, Logica, Mc Graw-Hill Italia, Milano,
2004. Epistemologia (ibidem).
• (2006) M. Carrara e P. Giaretta (ed), Filosofia e Logica, Rubbettino, Catanzaro, 2004. Epistemologia (ibidem).
• (2006) P. Casalegno e M. Mariani, Teoria degli insiemi. Un’introduzione,
Carocci, Roma, 2004. Epistemologia (ibidem).
Dissemination
• (2010) D. Porello. “La necessità di un’isola”, Philosophical Readings,
I,1 pp. 5-45 (invited). http://www.philosophicalreadings.com/PH_1_
2009.pdf
• (2009) Entries for the Encyclopedia Le parole della filosofia contemporanea,
Luciano Floridi, Gian Paolo Terravecchia (eds), Carocci, Roma. Entries:
Algebra della logica, Ambito Logico (Scope), Argomento Ontologico, Assurdo, Autoreferenzialità, Calcolo Proposizionale, Categorematico/Sincategorematico, Comprensione ed Estensione, dimostrazione, Doppia Negazione, Estensione, Forma Logica, Formalismo, Grammatica Generativa, Induzione Matematica, Logica Lineare, Logica Paraconsistente, Metateoria,
Metodo Assiomatico, n-tupla, Operatori Estensionali-Intensionali, Sinn-Bedeutung, Sintassi, Teorema di Church.
CV – Daniele Porello – 4
Teaching
activity
• 2012: University of Padova: “Prferenze, giudizi e deliberazione:
modelli di scelta sociale”. (November)
• 2011: Bachelor in Artificial Intelligence (University of Amsterdam): “Logical Programming and Search Techniques (Prolog)”.
(6 ECTS)
• 2011: Master of Logic (ILLC, University of Amsterdam),
project class: “Normative Foundations and Mathematical Modelling of Egalitarian and Utilitarian Welfare”. (6 ECTS) http:
//staff.science.uva.nl/~porello/projectEgUti.html
• 2010: Tutorial on Proofs, Games and Dialogues, Dialogues
and Games: Historical Roots and Contemporary Models, Lille,
February 2010.
• 2009: Master of Logic (ILLC, University of Amsterdam),
project class: “Modern Classics in Social Choice”. (6 ECTS)
http://staff.science.uva.nl/~grandi/project.html
• 2006-2007: Exercise Class for Logic (first semester) and Mathematical Logic (second semester) (Prof. D. Palladino), Department of Philosophy, University of Genova.
• 2005: “Elements of Logic”, Master in Cognitive Science, University of Genova.
• 2004-2005: Exercise Class for Logic (first semester) and Mathematical Logic (second semester) (Prof. D. Palladino), Department of Philosophy, University of Genova.
• 2004-2005: Teaching Assistant for the class “Philosophy of Language” (Prof C. Penco), Department of Philosophy, University
of Genova.
Student
supervision
• 2011: Individual project, Master of Logic, ILLC, University of
Amsterdam: “Counterfactual Analysis of Newcomb Paradox”
(6 ECTS), Student: Bruno Jacinto, (June)
• 2011: Individual project, Master of Logic, ILLC, University of
Amsterdam: “On the Meaning of Logical Rules” (6 ECTS).
Student: Leo Dubois. (May-June).
• 2011: Bachelor Thesis in Mathematics, University of Amsterdam, Sanne Kosterman “Bargaining solutions in multi-agents
resource allocation problems”.
• 2010: Co-supervisor, Master of Logic, ILLC, University of Amsterdam: Kian Mintz Woo “Independence in Judgment Aggregation”, 2010.
• 2009: Co-supervisor Master in Philosophy, University of Genova. Samuele Dellepiane: “Il teorema di Arrow e le teorie normative della democrazia”, 2009.
CV – Daniele Porello – 5
Selected
talks
• 2012: “On Political Conceptions of Truth”, University of Genova, Epilog seminar, March and University of Eastern Piedmont
April 2012.
• 2012: “Notes on Dialectical Pragmatism”, École Normale
Supérieure, seminario LOCI “Locativité et Interaction en
Logique, Linguistique et Informatique” (ANR 2010), Paris,
February (invited).
• 2011: “On the Formalizations of the Difference Principle”, University of Genova, November.
• 2011: “Ontology Merging as Social Choice”. LOCI “Locativité
et Interaction en Logique, Linguistique et Informatique” (ANR
2010), Workshop IV “Ontologies and Lexical Semantics”, Rome,
October, (invited).
• 2011: “Resource Allocation in Linear Logic”. Logic and Interactive Rationality Seminar, Amsterdam, January.
• 2010: “On the Elusive Notion of Meta-Agreement”, Manchester
Workshop in Political Theory, September.
• 2010: “Verbalizing Voting Dimensions”, International Meeting
of The Society of Social Choice and Welfare, Moscow, July.
• 2009: “Logic and Pragmatics” TAP (Towards an analytical
pragmatism), Genova, April.
• 2008: “Deliberation and Dimension Changing” AISC IV 2008,
Torino, November. (Best paper ).
• 2008: “Preferences Update and Deliberation about Dimensions”, SIFA 2008 (Società Italiana di Filosofia Analitica),
Bergamo, September.
• 2008: “Proof-Nets Without Links”, 50 Years of Syntactic Calculus, Chieti, July.
• 2007: “Preferenze e giudizi: relazioni logiche”, SISP (Società
Italiana di Scienza Politica), Catania, September.
• 2006: “Applications of Non-commutative Logic in Linguistics”,
Studia Logica Int. Conf., Trends in Logic IV, September.
CV – Daniele Porello – 6
Member of
research
projects
• (2012 – 2015) VISCOSO:“ Detection of crisis in socio-material
systems via visual-cognitive-social processes” (R. Ferrario).
• (2009 – 2012) LogICCC, Eurocores, “Computational foundations of social choice” (U. Endriss).
• (2007 – 2008) Equipe SIGNES (INRIA Sud Ouest) (C. Retoré).
• (2005 – 2007) “Knowledge: premises, relations, implications”
(M. Marsonet), PRIN: “Architecture of theoretical and practical
knowledge. A critical inquiry on the concepts of belief, truth
and rational justification” (R. Egidi).
• (2003 – 2005) “Understanding and reasoning: the backbones
of linguistic communication” (C. Penco), PRIN: “Representing
and inferring. A study of mental processes from the point of
view of analytical philosophy and cognitive science” (C. Penco).
Affiliations
Service
to the
community
SIFA (Società Italiana di Filosofia Analitica), SILFS (Società Italiana di Logica e Filosofia della Scienza), ESAP (European Society of
Analytic Philosophy), AIIA (Associazione Italiana per l’Intelligenza
Artificiale), AILA (Associazione Italiana di Logica e Applicazioni),
SCW (Society for Social Choice and Welfare).
PhD Committee member Giacomo Turbanti: “Explicit Normativity. The Logic of Brandom’s Scorekeeping”. Università di
Pisa, Scuola Normale Superiore. June, 2011.
PC member: AAMAS 2012 (Autonomous Agents and Multi-agents
Systems), IJCAI 2011 (International Joint Conference of Artificial Intelligence), AAMAS 2011 (Autonomous Agents and
Multi-agents Systems), AISC 2010 (Italian Association of Cognitive Science), AGPC 2010 (Amsterdam Graduate Philosophy
Conference).
Referee for conferences: Algorithmic Decision Theory (ADT
2009), Principles of Knowledge Representation and Reasoning
(KR 2010), Twenty-Fourth Conference on Artificial Intelligence
(AAAI 2010), European Conference on Artificial Intelligence
(ECAI 2010), European Conference on Logics in Artificial Intelligence (JELIA 2010), Non-Monotonic Reasoning (NMR2012).
Referee for journals: Transaction of Edutainment; Journal
of Logic, Language and Information; Sistemi Intelligenti;
Mathématiques et Sciences Humaines.
CV – Daniele Porello – 7
Organization
• Amsterdam Graduate Philosophy Conference, Dicember 2011.
• Workshop “Dialogue and Games: Historical Roots and Contemporary Model”. Lille, January 2010.
• Workshop “Knowledge, Language, and Interpretation. On the
Philosophy of Donald Davidson”. Genova, May 2007.
• Workshop “Mental Processes: Representing and Inferring”,
Genova, October 2005.
• Congresso “SIFA 04” (Società italiana di filosofia analitica).
Genova, September 2004.
Others
Editorial board of LAIF (Laboratorio di logica applicata e informazione filosofica),
http://www.dif.unige.it/laif.htm
Delegate of the PhD students in Philosophy at University of Genova
(2003-2006).
Language
skills
Italian (mother tongue), English (excellent), French (basic), German
(basic).
CV – Daniele Porello – 8