An ontology of meta-level categories N Guarino, M Carrara, P Giaretta Principles of Knowledge Representation and reasoning, 270-280, 1994 | 280 | 1994 |
Formalizing ontological commitment N Guarino, M Carrara, P Giaretta AAAI 94, 560-567, 1994 | 156 | 1994 |
A formal ontological perspective on the behaviors and functions of technical artifacts S Borgo, M Carrara, P Garbacz, PE Vermaas AI EDAM 23 (1), 3-21, 2009 | 84 | 2009 |
The fine-grained metaphysics of artifactual and biological functional kinds M Carrara, PE Vermaas Synthese 169, 125-143, 2009 | 53 | 2009 |
Characterizing logical consequence in paraconsistent weak Kleene R Ciuni, M Carrara New developments in logic and the philosophy of science, 165-176, 2016 | 46 | 2016 |
If engineering function is a family resemblance concept: assessing three formalization strategies M Carrara, P Garbacz, PE Vermaas Applied Ontology 6 (2), 141-163, 2011 | 42 | 2011 |
Individuals, Essence and Identity: Themes of Analytic Metaphysics A Bottani, M Carrara, P Giaretta Springer Science & Business Media, 2013 | 36 | 2013 |
The design stance and its artefacts PE Vermaas, M Carrara, S Borgo, P Garbacz Synthese 190, 1131-1152, 2013 | 36 | 2013 |
Artifact categorization. Trends and problems M Carrara, D Mingardo Review of Philosophy and Psychology 4 (3), 351-373, 2013 | 34 | 2013 |
A formalization of functions as operations on flows S Borgo, M Carrara, P Garbacz, PE Vermaas | 28 | 2011 |
Ontological commitment and reconstructivism M Carrara, AC Varzi Erkenntnis 55 (1), 33-50, 2001 | 26 | 2001 |
Formalizations of functions within the DOLCE ontology S Borgo, M Carrara, P Garbacz, PE Vermaas Proceedings of the Eighth International Symposium on Tools and Methods of …, 2010 | 25 | 2010 |
On biological identity G Boniolo, M Carrara Biology and Philosophy 19, 443-457, 2004 | 25 | 2004 |
Semantical analysis of weak Kleene logics R Ciuni, M Carrara Journal of Applied Non-Classical Logics, 1-36, 2019 | 24 | 2019 |
The many facets of identity criteria M Carrara, P Giaretta Dialectica 58 (2), 221-232, 2004 | 24 | 2004 |
Identity criteria and sortal concepts M Carrara, P Giaretta Proceedings of the international conference on Formal Ontology in …, 2001 | 24 | 2001 |
Two ontology-driven formalisations of functions and their comparison P Garbacz, S Borgo, M Carrara, PE Vermaas Journal of Engineering Design 22 (11-12), 733-764, 2011 | 23 | 2011 |
Assertion and hypothesis: A logical framework for their opposition relations M Carrara, D Chiffi, C De Florio Logic Journal IGPL 25 (2), 131-144, 2017 | 22 | 2017 |
Paradox and logical revision. A short introduction J Murzi, M Carrara Topoi 34, 7-14, 2015 | 22 | 2015 |
Pragmatic and dialogic interpretations of bi-intuitionism. Part II AM Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi Logic and Logical Philosophy, 1-23, 2014 | 22* | 2014 |