Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
Christian GeistUlle EndrissPublished in: CoRR (2014)
Keyphrases
- social choice theory
- search algorithm
- search space
- personalized search
- intelligent search
- keyword search
- ranking scheme
- desktop search
- web search
- ranking algorithm
- data objects
- ranking functions
- learning to rank
- multiple objects
- search tools
- search quality
- ordered sets
- highly ranked
- keyword queries
- information retrieval
- proof search
- result set
- d objects