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 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.

• Type: Conference
• Year: 2007
• Where: AIIA
• Authors: Massimo Narizzano, Luca Pulina, Armando Tacchella
• Keywords: AIIA 2007, Artificial Intelligence, Automated Reasoning, Fundamental Role, Reasoning fields