DOLCE, the first top-level (foundational) ontology to be axiomatized, ha...
We introduce a number of logics to reason about collective propositional...
This work contributes to the theory of judgment aggregation by discussin...
Ontology engineering is a hard and error-prone task, in which small chan...
This article presents modal versions of resource-conscious logics. We
co...