Publications by type

Publications  —  by year  —   by type   —   selected by topic

 


 

Journals:  

S. Borgo, R. Ferrario, A. Gangemi, N. Guarino, C. Masolo, D. Porello, E. M. Sanfilippo, L. Vieu. DOLCE: A descriptive ontology for linguistic and cognitive engineering. Applied Ontology. 17(1). 45-69 (2022)

 

G. Guizzardi, A. Botti Benevides, C. M Fonseca, D. Porello, J. P. A Almeida, T. Prince Sales. UFO: Unified Foundational Ontology. Applied Ontology. 17(1) 167-210. (2022)

 

T. Brouwer, R. Ferrario, D. Porello. Hybrid collective intentionality. Synthese 199(1), 3367-3403. 2021

 

Giancarlo Guizzardi, Claudenir M. Fonseca, João Paulo A. Almeida, Tiago Prince Sales, Alessander Botti Benevides, Daniele Porello. Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support. Data Knowl. Eng. 134: 101891 (2021).

 

D. Porello. Logics for modelling collective attitudes. Fundamenta Informaticae. 158 (1-3): 239-275. 2018.

 

C. Masolo, A. Botti Benevides, and Daniele Porello. The interplay between models and observations. Applied Ontology. 13(1): 41-71. 2018

 

D. Porello. Judgment aggregation in non-classcial logics. Journal of Applied Non-Classical Logics. 27 (1-2): 106-139. 2017

 

C. Masolo and D. Porello. Una semantica cognitiva per linguaggi predicativi. Sistemi Intelligenti. 2-3/2016, agosto-dicembre. pp. 255-276.

 

D. Porello. Single-peakedness and semantic dimensions of preferences. Logic Journal of IGPL, 2016. 24(2): 570-583.

 

D. Porello and N. Troquard. Non-normal modalities in variants of Linear Logic. Journal of Applied Non-Classical Logics. 25(3): 229-255. 2015.

 

Daniele Porello and Ulle Endriss. Ontology Merging as Social Choice: Judgment Aggregation under the Open World Assumption. Journal of Logic and Computation. 24 (6): 1229-1249, 2014.

 

Valeria Ottonelli and Daniele Porello. On the Elusive Notion of Meta-Agreement. Politics, Philosophy & Economics. 12 (1): 68-92, 2013.

 

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, 2012.

 

Daniele Porello. Ranking Judgments in Arrow’s Settings. Synthese 173: 199-210, Knowledge, Rationality & Action 77-88, 2010.

 

D. Porello. Logic in Social Choices. Cognitive Systems, 7 (3): 305-315. (First published in Cruciani, M. (Ed). (2010), Practices of Cognition: Recent Researchers in Cognitive Sciences. University of Trento, Italy, ISBN 978-88-8443-350-3).

 

Daniele Porello. Logica, preferenze e deliberazione. Un modello logico dei processi deliberativi. Sistemi Intelligenti Anno XXII, n.1, Aprile 2010, 49-64.

 

Daniele Porello. La necessità di un’isola. Philosophical Readings, 1, pp. 5-45. 2009.

 

Daniele Porello. Deductive and Grammatical Competence: Type Logical Remarks on Nesting Phenomena. Epistemologia. Rivista Italiana di Filosofia della Scienza, 30, (2), 2007, pp. 281-306.

 

 

Proceedings:

 

G. Righetti, D. Porello, N. Troquard, O. Kutz, M.M. Hedblom, P. Galliani. Asymmetric Hybrids: Dialogues for Computational Concept Combination. In Formal Ontology in Information Systems, 2021. IOS Press. 81-96. 

(BEST PAPER AWARD — FOIS 2021)

 

Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard:
In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract). Description Logics 2021.

 

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard.
Towards Knowledge-driven Distillation and Explanation of Black-box Models. DAO-XAI2021.

 

Guendalina Righetti, Claudio Masolo, Nicolas Troquard, Oliver Kutz, Daniele Porello.
Concept Combination in Weighted Logic. JOWO 2021.

 

Glenda C. M. Amaral, Tiago Prince Sales, Giancarlo Guizzardi, Daniele Porello:
Ontological Foundations for Trust Management: Extending the Reference Ontology of Trust. VMBO 2021: 12-22.

 

Roberto Confalonieri, Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard.
Towards Even More Irresistible Axiom Weakening. Description Logics 2020.

 

Glenda C. M. Amaral, Daniele Porello, Tiago Prince Sales, Giancarlo Guizzardi.
Modeling the Emergence of Value and Risk in Game Theoretical Approaches. EEWC 2020: 70-91

 

Pietro Galliani, Guendalina Righetti, Oliver Kutz, Daniele Porello, Nicolas Troquard.
Perceptron Connectives in Knowledge Representation. EKAW 2020: 183-193.

 

Daniele Porello, Giancarlo Guizzardi, Tiago Prince Sales, Glenda C. M. Amaral. A Core Ontology for Economic Exchanges. ER 2020: 364-374.

 

Luca Biccheri, Roberta Ferrario, Daniele PorelloNeeds and Intentionality. FOIS 2020: 125-139.


 

Claudio Masolo, Laure Vieu, Roberta Ferrario, Stefano Borgo, Daniele Porello. Pluralities, Collectives, and Composites. FOIS 2020: 186-200.

 

Glenda C. M. Amaral, Tiago Prince Sales, Giancarlo Guizzardi, João Paulo A. Almeida, Daniele Porello:
Modeling Trust in Enterprise Architecture: A Pattern Language for ArchiMate. PoEM 2020: 73-89.

 

Renata S. S. Guizzardi, Bruno Guimaraes Carneiro, Daniele Porello, Giancarlo GuizzardiA Core Ontology on Decision Making. ONTOBRAS 2020: 9-21.

 

 

Daniele Porello, Giancarlo Guizzardi, Tiago Prince Sales, Glenda C. M. Amaral, Nicola Guarino. An Ontological Account of the Action Theory of Economic Exchanges (full paper). Proceedings of the 14th International Workshop on Value Modeling and Business Ontologies, VMBO 2020, Brussels, Belgium, January 16-17. 157-169.

 

Glenda C. M. Amaral, Tiago Prince Sales, Giancarlo Guizzardi, Daniele Porello, Nicola Guarino. Towards a Reference Ontology of Money: Monetary Objects, Currencies and Related Concepts (short paper). Proceedings of the 14th International Workshop on Value Modeling and Business Ontologies, VMBO 2020, Brussels, Belgium, January 16-17. 170-178.

 

Guendalina Righetti, Daniele Porello, Oliver Kutz, Nicolas Troquard, Claudio Masolo. Pink panthers and toothless tigers: three problems in classification. Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, Manchester, UK, September 10-11, 2019. 39-53.

 

 

Claudio Masolo, Daniele Porello. Towards a Logic of Epistemic Theory of Measurement. Modeling and Using Context – 11th International and Interdisciplinary Conference, {CONTEXT} 2019, Trento, Italy, November 20-22, 2019, Proceedings. 175-188.

 

 

Daniele Porello, Oliver Kutz, Guendalina Righetti, Nicolas Troquard, Pietro Galliani, Claudio Masolo. A Toothful of Concepts: Towards a Theory of Weighted Concept Combination. Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019.

 

Claudenir M. Fonseca, Daniele Porello, Giancarlo Guizzardi, João Paulo A. Almeida, Nicola Guarino. Relations in Ontology-Driven Conceptual Modeling. Conceptual Modeling – 38th International Conference, {ER} 2019, Salvador, Brazil, November 4-7, 2019, Proceedings. 28-42.

 

 

Pietro Galliani, Oliver Kutz, Daniele Porello, Guendalina Righetti, Nicolas Troquard. On Knowledge Dependence in Weighted Description Logic. Proceedings of the 5th Global Conference on Artificial Intelligence (GCAI 2019), Bozen/Bolzano, Italy, 17-19 September 2019. 68-80.

 

Guendalina Righetti, Pietro Galliani, Oliver Kutz, Daniele Porello, Claudio Masolo, Nicolas Troquard. Weighted Description Logic for Classification Problems. Proceedings of the 5th Global Conference on Artificial Intelligence (GCAI 2019), Bozen/Bolzano, Italy, 17-19 September 2019. 108-112.

 

 

Nicola Guarino, Daniele Porello, Giancarlo Guizzardi. On Weak Truthmaking. Proceedings of the Joint Ontology Workshops 2019 Episode {V:} The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019.

 

 

Glenda C. M. Amaral, Tiago Prince Sales, Giancarlo Guizzardi, Daniele Porello. Towards a Reference Ontology of Trust. On the move to meaningful Internet Systems (OTM 2019). Rhodes, Greece, October 21-25. Lecture Notes in Computer Science 11877. 3-21.

 

 

Glenda C. M. Amaral, Giancarlo Guizzardi, Nicola Guarino, Daniele Porello, Tiago Prince Sales. Capability Agreements and Risk. Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies, VMBO, 2019, Stockholm, Sweden, March 4-5, 2019. CEUR Workshop Proceedings 2383, CEUR-WS.org 2019.

 

 

D. Porello and G. Guizzardi. Towards an ontological modelling of preference relations. In The 17th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2018). 152-165.

 

 

G. Guizzardi, C. Fonseca, A. B. Benevides, J. Almeida, D. Porello, T. Sales. Endurant types in ontology-driven conceptual modeling: Towards OntoUML 2.0. In 37th International Conference on Conceptual Modeling (ER) (2018). 136-150.

 

 

O. Kutz, N. Troquard, M. Hedblom, D. Porello. The Mouse and the Ball – Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency. In FOIS 2018, 10th International Conference on Formal Ontology in Information Systems, 17th-21th September, 2018. 55-68. 141-148.

 

 

C. Masolo and D. Porello. Representing Concepts by Weighted Formulas. In FOIS 2018, 10th International Conference on Formal Ontology in Information Systems, 17th-21th September, 2018. 55-68.

 

 

R. Ferrario, C. Masolo, and D. Porello. Organisations and Variable Embodiments. In FOIS 2018, 10th International Conference on Formal Ontology in Information Systems, 17th-21th September, 2018. 127-140.

 

 

T. P. Sales, D. Porello, N. Guarino, G. Guizzardi, J. Mylopoulos. Ontological foundations of competition. In FOIS 2018, 10th International Conference on Formal Ontology in Information Systems, 17th-21th September, 2018. 96-109.

 

 

D. Porello, N. Troquard, R. Peñaloza, R. Confalonieri, P. Galliani, O. Kutz. Two Approaches to Ontology Aggregation Based on Axiom Weakening. In Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence. (IJCAI-ECAI 2018). 1942-1948.

 

 

D. Porello. A logic for reasoning about group norms. In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems 3-6 July 2018, Utrecht (DEON 2018). 301-315.

 

 

N. Troquard, R. Confalonieri, P. Galliani, R. Peñaloza, D. Porello and O. Kutz. Repairing Ontologies via Axiom Weakening. In Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018 (AAAI2018). 1981-1988.

 

 

D. Porello, N. Troquard, R. Peñaloza, R. Confalonieri, P. Galliani and O. Kutz. Social Mechanisms for the Collective Engineering of Ontologies. Seventh International Workshop on Computational Social Choice (COMSOC-2018) Troy, NY, USA, 25-27 June 2018.

 

 

D. Porello and G. Guizzardi. Towards a First-Order Modal Formalisation of the Unified Foundational Ontology. 2nd Workshop on Foundational Ontology (FOUST). The Joint Ontology Workshops. Episode III: The Tyrolean Autumn (JOWO 2017).

 

 

D. Porello and G. Guizzardi. Towards a Cognitive Semantics of Types. The 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017). 428-440.

 

 

D. Porello, N. Troquard, R. Confalonieri, P. Galliani, O. Kutz, and R. Peñaloza. Repairing Socially Aggregated Ontologies Using Axiom Weakening. The 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017). 441-449.

 

 

R. Confalonieri, O. Kutz, P. Galliani, R. Peñaloza, D. Porello, M. Schorlemmer, N. Troquard. Coherence, Similarity, and Concept Generalisation. Description Logics 2017.

 

 

C. Masolo and D. Porello. Understanding predication in conceptual spaces. In FOIS 2016, 9th International Conference on Formal Ontology in Information Systems, 6th-9th July, 2016. pp. 139-152.

 

 

E. Sanflippo, S. Borgo, C. Masolo, D. Porello. Features and Components in Product Structure Models. In FOIS 2016, 9th International Conference on Formal Ontology in Information Systems, 6th-9th July, 2016. pp. 227-240.

 

 

D. Porello. On the Quality of Collective Decisions in Sociotechnical Systems: Transparency, Fairness, and Efficiency. In New Frontiers in the Study of Social Phenomena. Springer International Publishing, 2016. pp. 153-167.

 

 

C. Masolo and D. Porello. A note on the representation of relations in conceptual spaces. (Exended abstract) AISC 2015 (Italian Society for Cognitive Science. 10-12 December 2015).

 

 

D. Porello. Majoritarian Group Action. Principles and Practice of Multi-Agent Systems – 18th International Conference, Bertinoro, Italy, October 26-30, 2015. Lecture Notes in Computer Science. Vol. 9387. Springer. pp. 416-432.

 

 

R. Ferrario and D. Porello. Towards a conceptualization of socio-material entanglement. The Ninth International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015 November. pp. 32-46.

 

 

D. Porello. Modelling equivalent definitions of concepts. The Ninth International and Interdisciplinary Conference on Modeling and Using Context, CONTEXT 2015, November 2015. 506-512.

 

 

C. Masolo and D. Porello. A cognitive view of relevant implication. Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, Turin, Italy, September 28-29, 2015. CEUR Workshop Proceeding 1510. pp. 40-53.

 

 

D. Porello, M. Cristani, e R. Ferrario. Integrating Ontologies and Computer Vision for Classification of Objects in Images. Workshop on Neural-Cognitive Integration. KI 2015 38th German Conference on Artificial Intelligence, September 2015.

 

 

E. Sanfilippo, C. Masolo, e D. Porello. Design Knowledge Representation. Proceedings of the 1st Workshop on Artificial Intelligence and Design. A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015). September 2015. CEUR Workshop Proceedings. pp. 4-54.

 

 

Daniele Porello, Emanuele Bottazzi, and Roberta Ferrario. Group Conflict as Social Contradiction. In Conflict and Negotiation: Social Research and Machine Intelligence. F. D’Errico, I. Poggi, A. Vinciarelli, L. Vincze (eds). Social Research and Machine Intelligenge. Springer. 33-53, 2015.

 

 

Daniele Porello. Logics for Collective Reasoning. In Proceedings of the European Conference on Social Intelligence (ECSI 2014). November. 148-159. (Note: the technical content is mainly basd on Porello IJCAI, 2013).

 

 

Emanuele Bottazzi, Claudio Masolo, and Daniele Porello. Old and New Riddles about Concept Sharing. In Proceedings of the European Conference on Social Intelligence (ECSI 2014). November. 16-27.

 

 

Daniele Porello, Emanuele Bottazzi, and Roberta Ferrario. The Ontology of Group Agency. In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014. 183-196.

 

 

Stefano Borgo, Daniele Porello, and Nicolas Troquard. Logical Operators for Ontological Modeling. In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014. 23-36.

 

 

Daniele Porello and Nicolas Troquard. A resource-sensitive logic of agency. In 21st European Conference on Artificial Intelligence (ECAI’14), Prague, Czech Republic. 2014. 723-728.

 

 

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. 1549-1550. (Short paper, submitted as such).

 

 

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. LNCS Proceedings. 2014. 42-62.

 

 

Daniele Porello. A Proof-Theoretical View of Collective Rationality. In Proceedings of the 23rd International Joint Conference of Artificial Intelligence (IJCAI 2013). August 2013.

 

 

Francesco Setti, Daniele Porello, Roberta Ferrario, Sami Abduljalil Abdulhak, and Marco Cristani. “Tell me more”: how semantic technologies can help refining internet image search. In Proceedings of the International Workshop on Video and Image Ground Truth in Computer Vision Applications (VIGTA ’13). July 2013.

 

 

Daniele Porello, Roberta Ferrario, Cinzia Giorgetta. Ontological modeling of emotion-based decisions. In Proceedings the 1st Workshop of Formalizing Mechanisms for Artificial General Intelligence and Cognition (FormalMAGIC 2013). August 2013.

 

Daniele Porello. Deliberating About Voting Dimensions. In Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2013), May 2013.

 

 

Enrico Biale and Daniele Porello. Decisioni democratiche tra deliberazione e negoziazione. Sulla possibilita’  di negoziazioni deliberative. Laboratorio di Politca Comparata e Filosofia Pubblica (LPF), Working Paper WP-LPF 6/12.

 

 

Daniele Porello. The Consistency of Majority Rule. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI-2012), Montpellier, August 2012. (Short paper, submitted as such).

( )

 

Daniele Porello. Reasoning about Multiagent Resource Allocation in Linear Logic. In Logic and Interactive Rationality Yearbook 2011, Amsterdam.

 

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

 

Daniele Porello. Giustificazioni pubbliche e modelli di giustizia distributiva. Proceedings of AISC 2011 (Italian Society of Cognitive Science), Milan, November 2011.

 

Daniele Porello and Ulle Endriss. Ontology Merging as Social Choice. In Proceedings of the 12th International Workshop on Computational Logic in Multiagent Systems (CLIMA-2011), July 2011.

 

 

Stephane Airiau, Ulle Endriss, Umberto Grandi, Daniele Porello, and Joel 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.

 

 

Ulle Endriss, Umberto Grandi, and Daniele 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 Duesseldorf, September 2010.

 

 

Daniele Porello and Ulle Endriss. Modelling Multilateral Negotiation in Linear Logic. In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010), August 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.

 

 

Ulle Endriss, Umberto Grandi, and Daniele 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.

 

 

Carlo Penco and Daniele Porello. Sense and Proof. 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. 2010.

 

 

Daniele Porello. Logica, preferenze e deliberazione. Un modello logico dei processi deliberativi. Sistemi Intelligenti Anno XXII, n.1, Aprile 2010, 49-64. Daniele Porello. Logic and Pragmatics. In Proceedings of TAP-2009 (Towards an Analytic Pragmatism), C. Amoretti, C. Penco, F. Pitto (eds), CEUR-Workshop Proceedings, Vol-444.

 

 

Daniele Porello. Dimensioni di Voto e Coerenza. In Proceedings of AISC 2009 (Italian Society of Cognitive Science), Napoli, 25-26 November 2009.

 

Daniele Porello. A translation of discursive dilemma into Condorcet’s paradox. (Abstract). In Volume of Abstracts, 6th European Congress of Analytic Philosophy, Jagiellonian University, Institute of Philosophy, August 2008 Krakow, Poland. 

 

 

Daniele Porello. Linguistic Applications of Non-commutative Logic. In C. Casadio, J. Lambek (eds), Computational Algebraic approach to Natural Language, Polimetrica, Monza/Italy, 2008, pp. 213-232.

 

 

 

Book Chapters:  

 

D. Porello. On the Quality of Collective Decisions in Sociotechnical Systems: Transparency, Fairness, and Efficiency. In New Frontiers in the Study of Social Phenomena. Springer International Publishing, 2016. pp. 153-167. (paper)

Daniele Porello, Emanuele Bottazzi, and Roberta Ferrario. Group Conflict as Social Contradiction. In Conflict and Negotiation: Social Research and Machine Intelligence. F. D’Errico, I. Poggi, A. Vinciarelli, L. Vincze (eds). Social Research and Machine Intelligenge. Springer. 33-53, 2015. (paper)

Daniele Porello. Reasoning about Multiagent Resource Allocation in Linear Logic. In Logic and Interactive Rationality Yearbook 2011, Amsterdam.

Carlo Penco and Daniele Porello. Sense and Proof. 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. 2010. (paper)

Daniele Porello. Linguistic Applications of Non-commutative Logic. In C. Casadio, J. Lambek (eds), Computational Algebraic approach to Natural Language, Polimetrica, Monza/Italy, 2008, pp. 213-232. (paper)

 

 

Editorship:  

Adrien Barton, Selja Seppälä, Daniele Porello (eds). Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, Graz, Austria, September 23-25, 2019. CEUR Workshop Proceedings 2518, CEUR-WS.org 2019