163 citations · 256 across the 4 of their papers we have counts for
6 papers
DOLCE: A Descriptive Ontology for Linguistic and Cognitive Engineering
Stefano Borgo, Roberta Ferrario, Aldo Gangemi +5
DOLCE, the first top-level (foundational) ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. DOLCE is inspired by c…
Logics for modelling collective attitudes
Daniele Porello
We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is…
Judgment aggregation in non-classical logics
Daniele Porello
This work contributes to the theory of judgment aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgment aggregatio…
Repairing Ontologies via Axiom Weakening
Nicolas Troquard, Roberto Confalonieri, Pietro Galliani +3
Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for a…
Non-normal modalities in variants of Linear Logic
Daniele Porello, Nicolas Troquard
This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, w…
Complexity of Judgment Aggregation
Ulle Endriss, Umberto Grandi, Daniele Porello
We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determinat…