titoli, abstracts, parole chiave >>>
Ranking and reputation systems in the QBF competition

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.

DOI: 10.1007/978-3-540-74782-6_10


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.

Item Type:Conference or Workshop Item (Contribute)
ID Code:7740
Uncontrolled Keywords:Systems competitions, quantified Boolean formulas (QBF), empirical evaluation
Subjects:Area 09 - Ingegneria industriale e dell'informazione > ING-INF/05 Sistemi di elaborazione delle informazioni
Divisions:001 Università di Sassari > 01 Dipartimenti > Economia, istituzioni e società
Additional Information:Appears in LNAI: Lecture Notes in Artificial Intelligence (subseries of LNCS focusing on artificial intelligence).
Deposited On:04 Jul 2012 16:38

I documenti depositati in UnissResearch sono protetti dalle leggi che regolano il diritto d'autore

Repository Staff Only: item control page