Massimiliano Carrara

According to our database, Massimiliano Carrara authored at least 42 papers between 1994 and 2024.

Collaborative distances:

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

2024

A New Game Theoretic Semantics (GTS-2) for Weak Kleene Logics.

Massimiliano Carrara, Filippo Mancini, Michele Pra Baldi, Wei Zhu

Stud Logica, December, 2024

2023

A Meta-Ontological Inquiry on Topics for Non-Topic-Neutral Logics.

Massimiliano Carrara, Filippo Mancini

Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023

A Compatibilist Approach in Ontology: Steps Towards a Formalization.

Massimiliano Carrara, Vittorio Morato

Proceedings of the Formal Ontology in Information Systems, 2023

2022

TGTS Based Argumentation.

Massimiliano Carrara, Filippo Mancini, Difei Xu, Wei Zhu

Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021

Contingent composition as identity.

Massimiliano Carrara, Giorgio Lando

Synth., 2021

Mereology and Identity.

Massimiliano Carrara, Giorgio Lando

Synth., 2021

We don't know we don't know: asserting ignorance.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio, Ahti-Veikko Pietarinen

Synth., 2021

Computational Errors and Suspension in a PWK Epistemic Agent.

Massimiliano Carrara, Wei Zhu

J. Log. Comput., 2021

Pragmatic logics for hypotheses and evidence.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

Log. J. IGPL, 2021

DLEAC and the Rejection Paradox.

Massimiliano Carrara, Andrea Strollo

FLAP, 2021

Some Remarks on Assertion and Proof.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

FLAP, 2021

Copies and Dependence.

Massimiliano Carrara, Vittorio Morato

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

PWK Agent Belief Suspension in Argumentation.

Massimiliano Carrara, Wei Zhu

Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021

2020

Identity criteria: an epistemic path to conceptual grounding.

Massimiliano Carrara, Ciro De Florio

Synth., 2020

Normality operators and classical recapture in many-valued logic.

Roberto Ciuni, Massimiliano Carrara

Log. J. IGPL, 2020

Refining OntoClean. Identity Criteria and Grounding.

Massimiliano Carrara, Ciro De Florio

Proceedings of the Joint Ontology Workshops co-located with the Bolzano Summer of Knowledge (BOSK 2020), 2020

2019

Semantical analysis of weak Kleene logics.

Roberto Ciuni, Massimiliano Carrara

J. Appl. Non Class. Logics, 2019

2018

On an intuitionistic logic for pragmatics.

Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi

J. Log. Comput., 2018

2017

Iterated privation and positive predication.

Bjørn Jespersen, Massimiliano Carrara, Marie Duzí

J. Appl. Log., 2017

On assertion and denial in the logic for pragmatics.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

J. Appl. Log., 2017

Logical Investigations on Assertion and Denial.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

J. Appl. Log., 2017

Assertion and hypothesis: a logical framework for their opposition relations.

Massimiliano Carrara, Daniele Chiffi, Ciro De Florio

Log. J. IGPL, 2017

2016

The Mereological Foundation of Megethology.

Massimiliano Carrara, Enrico Martino

J. Philos. Log., 2016

2015

Grounding Megethology on Plural Reference.

Massimiliano Carrara, Enrico Martino

Stud Logica, 2015

A Formalization of Ashok Goel's SBF Concept of Function.

Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas

Proceedings of the 1st Workshop on Artificial Intelligence and Design, 2015

2013

The design stance and its artefacts.

Pieter E. Vermaas, Massimiliano Carrara, Stefano Borgo, Pawel Garbacz

Synth., 2013

A New Logic of Technical Malfunction.

Bjørn Jespersen, Massimiliano Carrara

Stud Logica, 2013

2012

Towards a Formal Account of Identity Criteria.

Massimiliano Carrara, Silvia Gaio

Proceedings of the Between Logic and Reality, 2012

2011

On the Infinite in Mereology with Plural Quantification.

Massimiliano Carrara, Enrico Martino

Rev. Symb. Log., 2011

A Formalization of Functions as Operations on Flows.

Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas

J. Comput. Inf. Sci. Eng., 2011

If engineering function is a family resemblance concept: Assessing three formalization strategies.

Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas

Appl. Ontology, 2011

Towards a Formal Account of Similarity and Family Resemblance for Technical Functions.

Massimiliano Carrara, Vittorio Morato

Proceedings of the Formal Ontologies Meet Industry, 2011

2010

To Be is to Be the Object of a Possible Act of Choice.

Massimiliano Carrara, Enrico Martino

Stud Logica, 2010

2009

The fine-grained metaphysics of artifactual and biological functional kinds.

Massimiliano Carrara, Pieter E. Vermaas

Synth., 2009

On the Ontological Commitment of Mereology.

Massimiliano Carrara, Enrico Martino

Rev. Symb. Log., 2009

A formal ontological perspective on the behaviors and functions of technical artifacts.

Stefano Borgo, Massimiliano Carrara, Pawel Garbacz, Pieter E. Vermaas

Artif. Intell. Eng. Des. Anal. Manuf., 2009

2008

Counterfeits and copies. An ontological analysis.

Massimiliano Carrara, Marzia Soavi

Proceedings of the Formal Ontologies Meet Industry, 2008

2007

Cardinality and Identity.

Massimiliano Carrara, Elisabetta Sacchi

J. Philos. Log., 2007

2006

Behavior of a Technical Artifact: An Ontological Perspective in Engineering.

Stefano Borgo, Massimiliano Carrara, Pieter E. Vermaas, Pawel Garbacz

Proceedings of the Formal Ontology in Information Systems, 2006

2001

Identity criteria and sortal concepts.

Massimiliano Carrara, Pierdaniele Giaretta

Proceedings of the 2nd International Conference on Formal Ontology in Information Systems, 2001

1994

An Ontology of Meta-Level Categories.

Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Formalizing Ontological Commitment.

Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta

Proceedings of the 12th National Conference on Artificial Intelligence, Seattle, WA, USA, July 31, 1994