research
∙
08/03/2023
DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering
DOLCE, the first top-level (foundational) ontology to be axiomatized, ha...
share
research
∙
11/10/2017
Logics for modelling collective attitudes
We introduce a number of logics to reason about collective propositional...
research
∙
11/10/2017
Judgment aggregation in non-classical logics
This work contributes to the theory of judgment aggregation by discussin...
research
∙
11/09/2017
Repairing Ontologies via Axiom Weakening
Ontology engineering is a hard and error-prone task, in which small chan...
research
∙
03/13/2015