Daniele Porello

Proceedings of the AIxIA 2023 - Advances in Artificial Intelligence, 2023

2022

UFO: Unified Foundational Ontology.

[BibT_eX]

[DOI]

Appl. Ontology, 2022

DOLCE: A descriptive ontology for linguistic and cognitive engineering.

[BibT_eX]

[DOI]

Appl. Ontology, 2022

Asymmetric Hybrids: Dialogues for Computational Concept Combination (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

A Game of Essence and Serendipity: Superb Owls vs. Cooking-Woodpeckers.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Incorporating Types of Types in Ontology-Driven Conceptual Modeling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 41st International Conference, 2022

Almost Certain Termination for <i>ALC</i> Weakening.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2022

Evaluating the Interpretability of Threshold Operators.

[BibT_eX]

[DOI]

Guendalina Righetti

Roberto Confalonieri

Proceedings of the Knowledge Engineering and Knowledge Management, 2022

Evaluating the Interpretability of Tooth Expressions (Extended Abstract).

[BibT_eX]

[DOI]

Guendalina Righetti

Roberto Confalonieri

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2021

Ontological Foundations for Trust Management: Extending the Reference Ontology of Trust (regular paper).

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, 2021

Concept Combination in Weighted Logic.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2021 Episode VII: The Bolzano Summer of Knowledge co-located with the 12th International Conference on Formal Ontology in Information Systems (FOIS 2021), 2021

Towards Knowledge-driven Distillation and Explanation of Black-box Models.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Asymmetric Hybrids: Dialogues for Computational Concept Combination.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2021

In a Nutshell: Perceptron Connectives in Knowledge Representation (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Towards an Ontological Core for Cognitively Justified Robots.

[BibT_eX]

[DOI]

Proceedings of the 8th Italian Workshop on Artificial Intelligence and Robotics co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

An Ontological Account of the Action Theory of Economic Exchanges (full paper).

[BibT_eX]

[DOI]

Proceedings of 14th International Workshop on Value Modelling and Business Ontologies, 2020

Towards a Reference Ontology of Money: Monetary Objects, Currencies and Related Concepts (short paper).

[BibT_eX]

[DOI]

Proceedings of 14th International Workshop on Value Modelling and Business Ontologies, 2020

A Core Ontology on Decision Making.

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Bruno Guimarães Carneiro

Proceedings of the XIII Seminar on Ontology Research in Brazil and IV Doctoral and Masters Consortium on Ontologies (ONTOBRAS 2020), 2020

A Reference Ontology of Money and Virtual Currencies.

[BibT_eX]

[DOI]

Proceedings of the Practice of Enterprise Modeling, 2020

Modeling Trust in Enterprise Architecture: A Pattern Language for ArchiMate.

[BibT_eX]

[DOI]

Glenda C. M. Amaral

Proceedings of the Practice of Enterprise Modeling, 2020

Pluralities, Collectives, and Composites.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2020

Needs and Intentionality.

[BibT_eX]

[DOI]

Luca Biccheri

Proceedings of the Formal Ontology in Information Systems, 2020

A Core Ontology for Economic Exchanges.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

Perceptron Connectives in Knowledge Representation.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2020

Modeling the Emergence of Value and Risk in Game Theoretical Approaches.

[BibT_eX]

[DOI]

Proceedings of the Advances in Enterprise Engineering XIV, 2020

Towards Even More Irresistible Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Capability Agreements and Risk.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 13th International Workshop on Value Modeling and Business Ontologies, 2019

Towards a Reference Ontology of Trust.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2019 Conferences, 2019

On Weak Truthmaking.

[BibT_eX]

[DOI]

Nicola Guarino

Proceedings of the Joint Ontology Workshops 2019 Episode V: The Styrian Autumn of Ontology, 2019

Weighted Description Logic for Classification Problems.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

On Knowledge Dependence in Weighted Description Logic.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019

Relations in Ontology-Driven Conceptual Modeling.

[BibT_eX]

[DOI]

Nicola Guarino

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

A Toothful of Concepts: Towards a Theory of Weighted Concept Combination.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Towards a Logic of Epistemic Theory of Measurement.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2019

Pink panthers and toothless tigers: three problems in classification.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Artificial Intelligence and Cognition, 2019

2018

Logics for Modelling Collective Attitudes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

The interplay between models and observations.

[BibT_eX]

[DOI]

Appl. Ontology, 2018

Two Approaches to Ontology Aggregation Based on Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Ontological Foundations of Competition.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

Representing Concepts by Weighted Formulas.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

The Mouse and the Ball - Towards a Cognitively-Based and Ontologically-Grounded Logic of Agency.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

Organisations and Variable Embodiments.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2018

Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 37th International Conference, 2018

A Logic for Reasoning about Group Norms.

[BibT_eX]

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

Towards an Ontological Modelling of Preference Relations.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

Repairing Ontologies via Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Judgement aggregation in non-classical logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2017

Judgment aggregation in non-classical logics.

[BibT_eX]

[DOI]

CoRR, 2017

Repairing Socially Aggregated Ontologies Using Axiom Weakening.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Towards a First-Order Modal Formalisation of the Unified Foundational Ontology.

[BibT_eX]

[DOI]

Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Coherence, Similarity, and Concept Generalisation.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Towards a Cognitive Semantics of Types.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Two Applications of Concept Refinement.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Comprehensibility and Explanation in AI and ML 2017 co-located with 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017

Integrating Computer Vision Algorithms and Ontologies for Spectator Crowd Behavior Analysis.

[BibT_eX]

[DOI]

Proceedings of the Group and Crowd Behavior for Computer Vision, 1st Edition, 2017

2016

Single-peakedness and semantic dimensions of preferences.

[BibT_eX]

[DOI]

Log. J. IGPL, 2016

Features and Components in Product Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2016

Understanding Predication in Conceptual Spaces.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2016

2015

Non-normal modalities in variants of linear logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2015

Majoritarian Group Actions.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Modelling Equivalent Definitions of Concepts.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2015

Towards a Conceptualization of Sociomaterial Entanglement.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2015

Design Knowledge Representation: An Ontological Perspective.

[BibT_eX]

[DOI]

Emilio M. Sanfilippo

Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015

A Cognitive View of Relevant Implication.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Artificial Intelligence and Cognition, 2015

2014

Ontology merging as social choice: judgment aggregation under the open world assumption.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

The Ontology of Group Agency.

[BibT_eX]

[DOI]

Emanuele Bottazzi

Proceedings of the Formal Ontology in Information Systems, 2014

Logical Operators for Ontological Modeling.

[BibT_eX]

[DOI]

Stefano Borgo

Proceedings of the Formal Ontology in Information Systems, 2014

Logics for Collective Reasoning.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Old and New Riddles on Concept Sharing.

[BibT_eX]

[DOI]

Emanuele Bottazzi

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

A resource-sensitive logic of agency.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A resource-sensitive account of the use of artifacts.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

"Tell me more": how semantic technologies can help refining internet image search.

[BibT_eX]

[DOI]

Francesco Setti

Sami Abduljalil Abdulhak

Marco Cristani

Proceedings of the International Workshop on Video and Image Ground Truth in Computer Vision Applications, 2013

A Proof-Theoretical View of Collective Rationality.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Multiagent Socio-Technical Systems: An Ontological Approach.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Deliberating about voting dimensions.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Complexity of Judgment Aggregation.

[BibT_eX]

[DOI]

Umberto Grandi

J. Artif. Intell. Res., 2012

The Consistency of Majority Rule.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

2011

Aggregating Dependency Graphs into Voting Agendas in Multi-Issue Elections.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Ontology Merging as Social Choice.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

Ranking judgments in Arrow's setting.

[BibT_eX]

[DOI]

Synth., 2010

Modelling Combinatorial Auctions in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Modelling Multilateral Negotiation in Linear Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Complexity of judgment aggregation: safety of the agenda.

[BibT_eX]

[DOI]

Umberto Grandi