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.

[BibT_eX]

[DOI]

Vittorio Morato

Proceedings of the Formal Ontology in Information Systems, 2023

2022

TGTS Based Argumentation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Giorgio Lando

Synth., 2021

Mereology and Identity.

[BibT_eX]

[DOI]

Giorgio Lando

Synth., 2021

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

[BibT_eX]

[DOI]

Ahti-Veikko Pietarinen

Synth., 2021

Computational Errors and Suspension in a PWK Epistemic Agent.

[BibT_eX]

[DOI]

Wei Zhu

J. Log. Comput., 2021

Pragmatic logics for hypotheses and evidence.

[BibT_eX]

[DOI]

Log. J. IGPL, 2021

DLEAC and the Rejection Paradox.

[BibT_eX]

[DOI]

Andrea Strollo

FLAP, 2021

Some Remarks on Assertion and Proof.

[BibT_eX]

[DOI]

FLAP, 2021

Copies and Dependence.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Synth., 2020

Normality operators and classical recapture in many-valued logic.

[BibT_eX]

[DOI]

Roberto Ciuni

Log. J. IGPL, 2020

Refining OntoClean. Identity Criteria and Grounding.

[BibT_eX]

[DOI]

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

2019

Semantical analysis of weak Kleene logics.

[BibT_eX]

[DOI]

Roberto Ciuni

J. Appl. Non Class. Logics, 2019

2018

On an intuitionistic logic for pragmatics.

[BibT_eX]

[DOI]

Gianluigi Bellin

J. Log. Comput., 2018

2017

Iterated privation and positive predication.

[BibT_eX]

[DOI]

Bjørn Jespersen

Marie Duzí

J. Appl. Log., 2017

On assertion and denial in the logic for pragmatics.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

Logical Investigations on Assertion and Denial.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

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

[BibT_eX]

[DOI]

Log. J. IGPL, 2017

2016

The Mereological Foundation of Megethology.

[BibT_eX]

[DOI]

J. Philos. Log., 2016

2015

Grounding Megethology on Plural Reference.

[BibT_eX]

[DOI]

Stud Logica, 2015

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

[BibT_eX]

[DOI]

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

2013

The design stance and its artefacts.

[BibT_eX]

[DOI]

Synth., 2013

A New Logic of Technical Malfunction.

[BibT_eX]

[DOI]

Bjørn Jespersen

Stud Logica, 2013

2012

Towards a Formal Account of Identity Criteria.

[BibT_eX]

[DOI]

Silvia Gaio

Proceedings of the Between Logic and Reality, 2012

2011

On the Infinite in Mereology with Plural Quantification.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2011

A Formalization of Functions as Operations on Flows.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Pawel Garbacz

Pieter E. Vermaas

Appl. Ontology, 2011

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

[BibT_eX]

[DOI]

Vittorio Morato

Proceedings of the Formal Ontologies Meet Industry, 2011

2010

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

[BibT_eX]

[DOI]

Stud Logica, 2010

2009

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

[BibT_eX]

[DOI]

Pieter E. Vermaas

Synth., 2009

On the Ontological Commitment of Mereology.

[BibT_eX]

[DOI]

Rev. Symb. Log., 2009

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

[BibT_eX]

[DOI]

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

2008

Counterfeits and copies. An ontological analysis.

[BibT_eX]

[DOI]

Marzia Soavi

Proceedings of the Formal Ontologies Meet Industry, 2008

2007

Cardinality and Identity.

[BibT_eX]

[DOI]

Elisabetta Sacchi

J. Philos. Log., 2007

2006

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

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2006

2001

Identity criteria and sortal concepts.

[BibT_eX]

[DOI]

Pierdaniele Giaretta

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

1994

An Ontology of Meta-Level Categories.

[BibT_eX]

Nicola Guarino

Pierdaniele Giaretta

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

Formalizing Ontological Commitment.

[BibT_eX]

[DOI]

Nicola Guarino