Massimiliano Carrara

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 22

Top Topics

Argumentation Skills

Logical Framework

Knowledge Based Neural Networks

Top Venues

Publications

Massimiliano Carrara, Filippo Mancini
A Meta-Ontological Inquiry on Topics for Non-Topic-Neutral Logics. JOWO (2023)
Massimiliano Carrara, Vittorio Morato
A Compatibilist Approach in Ontology: Steps Towards a Formalization. FOIS (2023)
Massimiliano Carrara, Filippo Mancini, Difei Xu, Wei Zhu
TGTS Based Argumentation. AI³@AI*IA (2022)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
Pragmatic logics for hypotheses and evidence. Log. J. IGPL 29 (4) (2021)
Massimiliano Carrara, Wei Zhu
Computational Errors and Suspension in a PWK Epistemic Agent. J. Log. Comput. 31 (7) (2021)
Massimiliano Carrara, Wei Zhu
PWK Agent Belief Suspension in Argumentation. AI³@AI*IA (2021)
Massimiliano Carrara, Andrea Strollo
DLEAC and the Rejection Paradox. FLAP 8 (2) (2021)
Massimiliano Carrara, Vittorio Morato
Copies and Dependence. JOWO (2021)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
Some Remarks on Assertion and Proof. FLAP 8 (2) (2021)
Massimiliano Carrara, Giorgio Lando
Mereology and Identity. Synth. 198 (18-S) (2021)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio, Ahti-Veikko Pietarinen
We don't know we don't know: asserting ignorance. Synth. 198 (4) (2021)
Massimiliano Carrara, Giorgio Lando
Contingent composition as identity. Synth. 198 (18-S) (2021)
Roberto Ciuni, Massimiliano Carrara
Normality operators and classical recapture in many-valued logic. Log. J. IGPL 28 (5) (2020)
Massimiliano Carrara, Ciro De Florio
Refining OntoClean. Identity Criteria and Grounding. JOWO (2020)
Massimiliano Carrara, Ciro De Florio
Identity criteria: an epistemic path to conceptual grounding. Synth. 197 (7) (2020)
Roberto Ciuni, Massimiliano Carrara
Semantical analysis of weak Kleene logics. J. Appl. Non Class. Logics 29 (1) (2019)
Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi
On an intuitionistic logic for pragmatics. J. Log. Comput. 28 (5) (2018)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
On assertion and denial in the logic for pragmatics. J. Appl. Log. 25 (Supplement) (2017)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
Assertion and hypothesis: a logical framework for their opposition relations. Log. J. IGPL 25 (2) (2017)
Bjørn Jespersen, Massimiliano Carrara, Marie Duzí
Iterated privation and positive predication. J. Appl. Log. 25 (Supplement) (2017)
Massimiliano Carrara, Daniele Chiffi, Ciro De Florio
Logical Investigations on Assertion and Denial. J. Appl. Log. 25 (Supplement) (2017)
Massimiliano Carrara, Enrico Martino
The Mereological Foundation of Megethology. J. Philos. Log. 45 (2) (2016)
Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas
A Formalization of Ashok Goel's SBF Concept of Function. AIDE@AI*IA (2015)
Massimiliano Carrara, Enrico Martino
Grounding Megethology on Plural Reference. Stud Logica 103 (4) (2015)
Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo, Pawel Garbacz
The design stance and its artefacts. Synth. 190 (6) (2013)
Bjørn Jespersen, Massimiliano Carrara
A New Logic of Technical Malfunction. Stud Logica 101 (3) (2013)
Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas
If engineering function is a family resemblance concept: Assessing three formalization strategies. Appl. Ontology 6 (2) (2011)
Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas
A Formalization of Functions as Operations on Flows. J. Comput. Inf. Sci. Eng. 11 (3) (2011)
Massimiliano Carrara, Vittorio Morato
Towards a Formal Account of Similarity and Family Resemblance for Technical Functions. FOMI (2011)
Massimiliano Carrara, Enrico Martino
On the Infinite in Mereology with Plural Quantification. Rev. Symb. Log. 4 (1) (2011)
Massimiliano Carrara, Enrico Martino
To Be is to Be the Object of a Possible Act of Choice. Stud Logica 96 (2) (2010)
Massimiliano Carrara, Pieter E. Vermaas
The fine-grained metaphysics of artifactual and biological functional kinds. Synth. 169 (1) (2009)
Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas
A formal ontological perspective on the behaviors and functions of technical artifacts. Artif. Intell. Eng. Des. Anal. Manuf. 23 (1) (2009)
Massimiliano Carrara, Enrico Martino
On the Ontological Commitment of Mereology. Rev. Symb. Log. 2 (1) (2009)
Massimiliano Carrara, Marzia Soavi
Counterfeits and copies. An ontological analysis. FOMI (2008)
Massimiliano Carrara, Elisabetta Sacchi
Cardinality and Identity. J. Philos. Log. 36 (5) (2007)
Stefano Borgo, Massimiliano Carrara, Pieter E. Vermaas, Pawel Garbacz
Behavior of a Technical Artifact: An Ontological Perspective in Engineering. FOIS (2006)
Massimiliano Carrara, Pierdaniele Giaretta
Identity criteria and sortal concepts. FOIS (2001)
Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta
An Ontology of Meta-Level Categories. KR (1994)
Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta
Formalizing Ontological Commitment. AAAI (1994)