3 papers
cs.LO2017
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…
cs.LO2017
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…
cs.AI2017
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…