Please use this identifier to cite or link to this item:
Full metadata record
DC FieldValueLanguage
dc.contributor.authorIwasaki, A.en
dc.contributor.authorFujita, E.en
dc.contributor.authorTodo, T.en
dc.contributor.authorIwane, H.en
dc.contributor.authorAnai, H.en
dc.contributor.authorGuo, M.en
dc.contributor.authorYokoo, M.en
dc.identifier.citationProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015 / vol.3, pp.1885-1886en
dc.descriptionExtended abstracten
dc.description.abstractThis paper proposes an alternative automated mechanism design approach called parametric mechanism design via quantifier elimination (PMD-QE), which utilizes QE, a symbolic formula manipulation technique. In PMD-QE, we start from a skeleton of mechanisms, which is characterized by a set of parameters, e.g., critical values. The range of parameters where the given constraints are satisfied is automatically identified by QE. To demonstrate the potential of this idea, we are able to identify a non-trivial dominant-strategy incentive compatible mechanism for a setting where a bidder has a publicly known budget limit.en
dc.description.statementofresponsibilityAtsushi Iwasaki, Etsushi Fujita, Taiki Todo, Hidenao Iwane, Hirokazu Anai, Mingyu Guo, and Makoto Yokooen
dc.rightsCopyright © 2015, International Foundation for Autonomous Agents and Multiagent Systems ( All rights reserved.en
dc.subjectMechanism design, VCG, budget limit, quantifier eliminationen
dc.titleParametric mechanism design via quantifier eliminationen
dc.typeConference paperen
dc.contributor.conference14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '15) (04 May 2015 - 08 May 2015 : Istanbul, Turkey)en
Appears in Collections:Computer Science publications

Files in This Item:
File Description SizeFormat 
  Restricted Access
Restricted Access313.89 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.