Massimiliano Carrara

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