Narizzano, Massimo and Pulina, Luca and Tacchella, Armando (2007) Ranking and reputation systems in the QBF competition. In: AI*IA '07: 10th Congress on Artificial Intelligence and Human-Oriented Computing: proceedings, 10-13 September 2007, Rome, Italy. Berlin / Heidelberg, Springer. p. 97-108. (Lecture Notes in Computer Science, 4733/2007). ISSN 0302-9743. ISBN 978-3-540-74781-9. Conference or Workshop Item.
Full text not available from this repository.
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 question: "Which system should I buy?". In this paper, we consider voting systems as an alternative to other procedures which are well established in automated reasoning contests. Our research is aimed to compare methods that are customary in the context of social choice, with methods that are targeted to artificial settings, including a new hybrid method that we introduce.
I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore
Repository Staff Only: item control page