FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963072242> ?p ?o ?g. }

• W2963072242 endingPage "122" @default.
• W2963072242 startingPage "116" @default.
• W2963072242 abstract "Two important requirements when aggregating the preferences of multiple agents are that the outcome should be economically efficient and the aggregation mechanism should not be manipulable. In this paper, we provide a computer-aided proof of a sweeping impossibility using these two conditions for randomized aggregation mechanisms. More precisely, we show that every efficient aggregation mechanism can be manipulated for all expected utility representations of the agents' preferences. This settles a conjecture by Aziz et al. [2013b] and strengthens a number of existing theorems, including statements that were shown within the special domain of assignment. Our proof is obtained by formulating the claim as a satisfiability problem over predicates from real-valued arithmetic, which is then checked using an SMT (satisfiability modulo theories) solver. To the best of our knowledge, this is the first application of SMT solvers in computational social choice." @default.
• W2963072242 created "2019-07-30" @default.
• W2963072242 creator A5001200543 @default.
• W2963072242 creator A5052021613 @default.
• W2963072242 creator A5054463492 @default.
• W2963072242 date "2016-07-09" @default.
• W2963072242 modified "2023-10-18" @default.
• W2963072242 title "Proving the incompatibility of efficiency and strategyproofness via SMT solving" @default.
• W2963072242 cites W1982598002 @default.
• W2963072242 cites W2007748632 @default.
• W2963072242 cites W2009653834 @default.
• W2963072242 cites W2014437184 @default.
• W2963072242 cites W2043715088 @default.
• W2963072242 cites W2052444997 @default.
• W2963072242 cites W2076154639 @default.
• W2963072242 cites W2102219503 @default.
• W2963072242 cites W2106897266 @default.
• W2963072242 cites W2129678216 @default.
• W2963072242 cites W2133667021 @default.
• W2963072242 cites W2158276958 @default.
• W2963072242 cites W2159595840 @default.
• W2963072242 cites W2214482362 @default.
• W2963072242 cites W2223286957 @default.
• W2963072242 cites W2293881532 @default.
• W2963072242 cites W2337207306 @default.
• W2963072242 cites W28510486 @default.
• W2963072242 cites W3124207685 @default.
• W2963072242 cites W3136440969 @default.
• W2963072242 hasPublicationYear "2016" @default.
• W2963072242 type Work @default.
• W2963072242 sameAs 2963072242 @default.
• W2963072242 citedByCount "1" @default.
• W2963072242 countsByYear W29630722422021 @default.
• W2963072242 crossrefType "proceedings-article" @default.
• W2963072242 hasAuthorship W2963072242A5001200543 @default.
• W2963072242 hasAuthorship W2963072242A5052021613 @default.
• W2963072242 hasAuthorship W2963072242A5054463492 @default.
• W2963072242 hasConcept C111472728 @default.
• W2963072242 hasConcept C118615104 @default.
• W2963072242 hasConcept C134306372 @default.
• W2963072242 hasConcept C138885662 @default.
• W2963072242 hasConcept C144237770 @default.
• W2963072242 hasConcept C148220186 @default.
• W2963072242 hasConcept C164155591 @default.
• W2963072242 hasConcept C168773769 @default.
• W2963072242 hasConcept C17744445 @default.
• W2963072242 hasConcept C189352744 @default.
• W2963072242 hasConcept C199360897 @default.
• W2963072242 hasConcept C199539241 @default.
• W2963072242 hasConcept C2776261394 @default.
• W2963072242 hasConcept C2778770139 @default.
• W2963072242 hasConcept C2780990831 @default.
• W2963072242 hasConcept C33923547 @default.
• W2963072242 hasConcept C36503486 @default.
• W2963072242 hasConcept C41008148 @default.
• W2963072242 hasConcept C54732982 @default.
• W2963072242 hasConcept C80444323 @default.
• W2963072242 hasConcept C89611455 @default.
• W2963072242 hasConceptScore W2963072242C111472728 @default.
• W2963072242 hasConceptScore W2963072242C118615104 @default.
• W2963072242 hasConceptScore W2963072242C134306372 @default.
• W2963072242 hasConceptScore W2963072242C138885662 @default.
• W2963072242 hasConceptScore W2963072242C144237770 @default.
• W2963072242 hasConceptScore W2963072242C148220186 @default.
• W2963072242 hasConceptScore W2963072242C164155591 @default.
• W2963072242 hasConceptScore W2963072242C168773769 @default.
• W2963072242 hasConceptScore W2963072242C17744445 @default.
• W2963072242 hasConceptScore W2963072242C189352744 @default.
• W2963072242 hasConceptScore W2963072242C199360897 @default.
• W2963072242 hasConceptScore W2963072242C199539241 @default.
• W2963072242 hasConceptScore W2963072242C2776261394 @default.
• W2963072242 hasConceptScore W2963072242C2778770139 @default.
• W2963072242 hasConceptScore W2963072242C2780990831 @default.
• W2963072242 hasConceptScore W2963072242C33923547 @default.
• W2963072242 hasConceptScore W2963072242C36503486 @default.
• W2963072242 hasConceptScore W2963072242C41008148 @default.
• W2963072242 hasConceptScore W2963072242C54732982 @default.
• W2963072242 hasConceptScore W2963072242C80444323 @default.
• W2963072242 hasConceptScore W2963072242C89611455 @default.
• W2963072242 hasLocation W29630722421 @default.
• W2963072242 hasOpenAccess W2963072242 @default.
• W2963072242 hasPrimaryLocation W29630722421 @default.
• W2963072242 hasRelatedWork W14254835 @default.
• W2963072242 hasRelatedWork W1490013103 @default.
• W2963072242 hasRelatedWork W1588567376 @default.
• W2963072242 hasRelatedWork W1965047789 @default.
• W2963072242 hasRelatedWork W1971029566 @default.
• W2963072242 hasRelatedWork W2117005051 @default.
• W2963072242 hasRelatedWork W2155277832 @default.
• W2963072242 hasRelatedWork W2162131937 @default.
• W2963072242 hasRelatedWork W2207566822 @default.
• W2963072242 hasRelatedWork W2470660316 @default.
• W2963072242 hasRelatedWork W2531414784 @default.
• W2963072242 hasRelatedWork W2551482414 @default.
• W2963072242 hasRelatedWork W2624559724 @default.
• W2963072242 hasRelatedWork W2796695740 @default.
• W2963072242 hasRelatedWork W2950571168 @default.
• W2963072242 hasRelatedWork W2963025011 @default.

• next