Implementation of Ontologies:
- A version of DOLCE in COMMON LOGIC and a proof of consistency with MACE4 (link).
- An ontology of relations in UFO (link).
- The ontology of endurant types of UFO (link).
- An ontology of plural entities (link).
- An ontology of mental states in DOLCE (link)
My GitHub: diporello
Member of the ONTOCOMMONS project, at Laboratory of Applied Ontology (ONTOCOMMONS).
Principal investigator of Social Evaluation of Concepts (SECO). 2017-2019.
Principal investigator of Cohernce anD Explanation (CREED). 2017-2019.
Organiser of :
4th Workshop on Foundational Ontology (FOUST IV). Joint Ontology Workshops JOWO – 2020.
1st International Workshop on Ontology of Economics (ONTOECONOMICS 2018). Joint Ontology Workshops JOWO – 2018 @ FOIS 2018 Cape Town. (JOWO 2018).
2nd International Workshop on Epistemology in Ontologies (EPINON 2018). Joint Ontology Workshops JOWO – 2018 @ FOIS 2018 Cape Town (JOWO 2018).
1st International Workshop on Epistemology in Ontologies (EPINON 2017). Joint Ontology Workshops JOWO – 2017. Episode III: The Tyrolean Autumn. (JOWO 2017).
2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WoMoCoE 2017) at the 16th International Semantic Web Conference ISWC 2017
Formal Ontoltogies for Artificial Intelligence, FOFAI 2015, workshop at IJCAI 2015 FOFAI
Ontological Modelling of Socio-Technical Systems, workshop at FOIS 2014 OMSTS
Workshop: Ragionamento collettivo e modelli di democrazia (web page)
Workshop: Dialogue and Games: Historical Roots and Contemporary Models. Lille, January 2010. (web page)
Editorial Board of: Applied Ontology.
PC member of: AAMAS (Autonomous Agents and Multiagent Systems), IJCAI (International Joint Conference of Artificial Intelligence), AAAI, ECAI (European Conference on Artificial Intelligence), KEOD (International Conference on Knowledge Engineering and Ontology Development), AIC (Workshop on Artificial Intelligence and Cognition), LOFT (Logic and the Foundations of Game and Decision Theory), LORI (Logic, rationality, and interaction), AISC (Italian Association of Cognitive Science), AGPC (Amsterdam Graduate Philosophy Conference), ESSLLI 2013 Workshop on Logical Models of Group Decision Making.
Reviewer for: Applied Ontologies; Argumenta; Artificial Intelligence; Dialectica; Economics and Philosophy; Fundamenta Informaticae; Group Decision and Negotiation; Journal of Applied Non-classical Logics; Journal of Biomedical Informatics; Journal of Experimental and Theoretical Artificial Intelligence; Journal of Logic, Language and Information; Journal of Logic and Computation; Journal of Philosophy; Logic Journal of the IGPL; Mathematiques et Sciences Humaines; Neurocomputing; Sistemi Intelligenti; Synthese; Transaction of Edutainment.
Member of : Italian Society for Analytic Philosophy (SIFA), Italian Society For Logic and Philosophy of Science (SILFS), European Society for Analytic Philosophy (ESAP), Italian Society for Artificial Intelligence (AIIA), Italian Society of Logic and Application (AILA), International Society of Applied Ontology (IAOA), Social Choice and Welfare (SCW).