FRINK Linked Data Fragments server

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

• W1919126359 endingPage "293" @default.
• W1919126359 startingPage "279" @default.
• W1919126359 abstract "We explore techniques from computer-aided verification to construct formal proofs of incentive properties. Because formal proofs can be automatically checked, agents do not need to manually check the properties, or even understand the proof. To demonstrate, we present the verification of a sophisticated mechanism: the generic reduction from Bayesian incentive compatible mechanism design to algorithm design given by Hartline, Kleinberg, and Malekian. This mechanism presents new challenges for formal verification, including essential use of randomness from both the execution of the mechanism and from the prior type distributions." @default.
• W1919126359 created "2016-06-24" @default.
• W1919126359 creator A5021948795 @default.
• W1919126359 creator A5033286190 @default.
• W1919126359 creator A5033447950 @default.
• W1919126359 creator A5055058246 @default.
• W1919126359 creator A5057693522 @default.
• W1919126359 creator A5075577852 @default.
• W1919126359 date "2016-01-01" @default.
• W1919126359 modified "2023-10-14" @default.
• W1919126359 title "Computer-Aided Verification for Mechanism Design" @default.
• W1919126359 cites W1123239656 @default.
• W1919126359 cites W1557860566 @default.
• W1919126359 cites W18814837 @default.
• W1919126359 cites W2002373723 @default.
• W1919126359 cites W2015007620 @default.
• W1919126359 cites W2120100612 @default.
• W1919126359 cites W2123991163 @default.
• W1919126359 cites W2129581964 @default.
• W1919126359 cites W2153285919 @default.
• W1919126359 cites W2167606175 @default.
• W1919126359 cites W3106186972 @default.
• W1919126359 cites W4247157595 @default.
• W1919126359 cites W4248025978 @default.
• W1919126359 doi "https://doi.org/10.1007/978-3-662-54110-4_20" @default.
• W1919126359 hasPublicationYear "2016" @default.
• W1919126359 type Work @default.
• W1919126359 sameAs 1919126359 @default.
• W1919126359 citedByCount "7" @default.
• W1919126359 countsByYear W19191263592017 @default.
• W1919126359 countsByYear W19191263592019 @default.
• W1919126359 countsByYear W19191263592022 @default.
• W1919126359 countsByYear W19191263592023 @default.
• W1919126359 crossrefType "book-chapter" @default.
• W1919126359 hasAuthorship W1919126359A5021948795 @default.
• W1919126359 hasAuthorship W1919126359A5033286190 @default.
• W1919126359 hasAuthorship W1919126359A5033447950 @default.
• W1919126359 hasAuthorship W1919126359A5055058246 @default.
• W1919126359 hasAuthorship W1919126359A5057693522 @default.
• W1919126359 hasAuthorship W1919126359A5075577852 @default.
• W1919126359 hasBestOaLocation W19191263592 @default.
• W1919126359 hasConcept C105795698 @default.
• W1919126359 hasConcept C108710211 @default.
• W1919126359 hasConcept C111472728 @default.
• W1919126359 hasConcept C111498074 @default.
• W1919126359 hasConcept C125112378 @default.
• W1919126359 hasConcept C138885662 @default.
• W1919126359 hasConcept C153517567 @default.
• W1919126359 hasConcept C162324750 @default.
• W1919126359 hasConcept C175444787 @default.
• W1919126359 hasConcept C199360897 @default.
• W1919126359 hasConcept C2524010 @default.
• W1919126359 hasConcept C2780801425 @default.
• W1919126359 hasConcept C2985583900 @default.
• W1919126359 hasConcept C33923547 @default.
• W1919126359 hasConcept C41008148 @default.
• W1919126359 hasConcept C75606506 @default.
• W1919126359 hasConcept C80444323 @default.
• W1919126359 hasConcept C89611455 @default.
• W1919126359 hasConceptScore W1919126359C105795698 @default.
• W1919126359 hasConceptScore W1919126359C108710211 @default.
• W1919126359 hasConceptScore W1919126359C111472728 @default.
• W1919126359 hasConceptScore W1919126359C111498074 @default.
• W1919126359 hasConceptScore W1919126359C125112378 @default.
• W1919126359 hasConceptScore W1919126359C138885662 @default.
• W1919126359 hasConceptScore W1919126359C153517567 @default.
• W1919126359 hasConceptScore W1919126359C162324750 @default.
• W1919126359 hasConceptScore W1919126359C175444787 @default.
• W1919126359 hasConceptScore W1919126359C199360897 @default.
• W1919126359 hasConceptScore W1919126359C2524010 @default.
• W1919126359 hasConceptScore W1919126359C2780801425 @default.
• W1919126359 hasConceptScore W1919126359C2985583900 @default.
• W1919126359 hasConceptScore W1919126359C33923547 @default.
• W1919126359 hasConceptScore W1919126359C41008148 @default.
• W1919126359 hasConceptScore W1919126359C75606506 @default.
• W1919126359 hasConceptScore W1919126359C80444323 @default.
• W1919126359 hasConceptScore W1919126359C89611455 @default.
• W1919126359 hasLocation W19191263591 @default.
• W1919126359 hasLocation W19191263592 @default.
• W1919126359 hasLocation W19191263593 @default.
• W1919126359 hasLocation W19191263594 @default.
• W1919126359 hasLocation W19191263595 @default.
• W1919126359 hasLocation W19191263596 @default.
• W1919126359 hasLocation W19191263597 @default.
• W1919126359 hasOpenAccess W1919126359 @default.
• W1919126359 hasPrimaryLocation W19191263591 @default.
• W1919126359 hasRelatedWork W1524361563 @default.
• W1919126359 hasRelatedWork W2107244982 @default.
• W1919126359 hasRelatedWork W2153734519 @default.
• W1919126359 hasRelatedWork W2275340472 @default.
• W1919126359 hasRelatedWork W2768544882 @default.
• W1919126359 hasRelatedWork W3028597541 @default.
• W1919126359 hasRelatedWork W3174634921 @default.
• W1919126359 hasRelatedWork W3186572156 @default.
• W1919126359 hasRelatedWork W3187752969 @default.
• W1919126359 hasRelatedWork W4231199372 @default.
• W1919126359 isParatext "false" @default.
• W1919126359 isRetracted "false" @default.

• next