Learn More
We analyse the computational complexity of three problems in judgment aggregation: (1) computing a collective judgment from a profile of individual judgments (the winner determination problem); (2) deciding whether a given agent can influence the outcome of a judgment aggregation procedure in her favour by reporting insincere judgments (the strategic(More)
Judgment aggregation is an area of social choice theory that analyses procedures for aggregating the judgments of a group of agents regarding a set of interdependent propositions (modelled as formulas in propositional logic). The judgment aggrega-tion framework gives rise to a number of algorithmic problems, including (1) computing a collective judgment(More)
Aggregating the judgments of a group of agents regarding a set of interdependent propositions can lead to inconsistent outcomes. One of the parameters involved is the agenda, the set of propositions on which agents are asked to express an opinion. We introduce the problem of checking the safety of the agenda: for a given agenda, can we guarantee that(More)
Many collective decision problems have a combinatorial structure: the agents involved must decide on multiple issues and their preferences over one issue may depend on the choices for some of the others. Voting is an attractive method for making such decisions, but multi-issue elections are challenging. On the one hand, requiring agents to consider all(More)
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering, and other domains where information from several distinct sources needs to be integrated in a coherent manner. We propose to view ontology merging as a problem of social choice, i.e., as a problem of aggregating the input of a set of(More)
Socio-technical systems constitute a challenge for multiagent systems as they are complex scenarios in which human and artificial agents share information , interact and make decisions. For example, the design of an airport requires to interface information coming from automatic apparatuses as security cameras, conceptual information coming from agents, and(More)
The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering, and other domains where information from several distinct sources needs to be integrated in a coherent manner. We propose to treat ontology merging as a problem of social choice, i.e., as a problem of aggregating the input of a set of(More)
We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show(More)