Name
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. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1007/978-3-540-74782-6_10 | AI*IA |
Keywords | Field | DocType |
artificial setting,reputation systems,fundamental role,systems competition,automated reasoning field,qbf competition,social choice,new hybrid method,automated reasoning contest,comparative method,automated reasoning | Automated reasoning,Social choice theory,Reputation system,Ranking,Voting,Computer science,Artificial intelligence,Machine learning,Reputation | Conference |
Volume | ISSN | Citations |
4733 | 0302-9743 | 2 |
PageRank | References | Authors |
0.42 | 10 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Massimo Narizzano | 1 | 451 | 30.41 |
| Luca Pulina | 2 | 326 | 37.95 |
| Armando Tacchella | 3 | 1448 | 108.82 |