Sciweavers

AAAI
2007
13 years 7 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...