João R. M. Nicola

According to our database, João R. M. Nicola authored at least 3 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Towards a Structural Characterization of Identity, Individuality and Sortality.

João R. M. Nicola, Giancarlo Guizzardi

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

On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies.

João R. M. Nicola, Giancarlo Guizzardi

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

2018

Individual Determinacy and Identity Criteria in Ontology-Driven Information Systems.

João R. M. Nicola, Giancarlo Guizzardi

Proceedings of the Formal Ontology in Information Systems, 2018