Sciweavers

265 search results - page 29 / 53
» Incentive-Compatible Social Choice
Sort
View
AIIA
2007
Springer
14 years 4 months ago
Ranking and Reputation Systems in the QBF Competition
Abstract. Systems competitions play a fundamental role in the advancement of the state of the art in several automated reasoning fields. The goal of such events is to answer the q...
Massimo Narizzano, Luca Pulina, Armando Tacchella
FPLAY
2008
13 years 11 months ago
Construction of cybertypes in Lineage II: an analysis of game interfaces and support documentation
This paper discusses social exclusion by analyzing the avatar creation interface of the massively multiplayer online roleplaying game (MMORPG) Lineage II. We use a previously deve...
Victoria McArthur, Tyler M. Pace, Aaron R. Houssia...
FOIS
2008
13 years 11 months ago
Artefacts and Roles: Modelling Strategies in a Multiplicative Ontology
The purpose of this paper is to examine different modelling strategies available in a multiplicative formal ontology, and the principles that drive their choice. This study is base...
Laure Vieu, Stefano Borgo, Claudio Masolo
JAIR
2008
117views more  JAIR 2008»
13 years 10 months ago
Complexity of Strategic Behavior in Multi-Winner Elections
Although recent years have seen a surge of interest in the computational aspects of social choice, no specific attention has previously been devoted to elections with multiple win...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
JELIA
2010
Springer
13 years 8 months ago
dl2asp: Implementing Default Logic via Answer Set Programming
In this paper, we show that Reiter’s default logic in the propositional case can be translated into answer set programming by identifying the internal relationships among formula...
Yin Chen, Hai Wan, Yan Zhang, Yi Zhou