João R. M. Nicola

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Dependency Analysis

Axiomatic Characterization

Semantic Technologies

Top Venues

Publications

João R. M. Nicola, Giancarlo Guizzardi
On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies. JOWO (2021)
João R. M. Nicola, Giancarlo Guizzardi
Towards a Structural Characterization of Identity, Individuality and Sortality. JOWO (2021)
João R. M. Nicola, Giancarlo Guizzardi
Individual Determinacy and Identity Criteria in Ontology-Driven Information Systems. FOIS (2018)