Logic for Automated Mechanism Design - A Progress Report.
Michael J. WooldridgeThomas ÅgotnesPaul E. DunneWiebe van der HoekPublished in: AAAI (2007)
Keyphrases
- mechanism design
- automated design
- game theory
- incomplete information
- multiagent planning
- incentive compatible
- combinatorial auctions
- prediction markets
- approximately optimal
- auction mechanisms
- cooperative game theory
- moral hazard
- social welfare
- modal logic
- upper bound
- meeting scheduling
- resource allocation
- logic programming