Please use this identifier to cite or link to this item: https://hdl.handle.net/2440/108866
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.date.issued2015en
dc.identifier.citationProceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015 / vol.3, pp.1885-1886en
dc.identifier.isbn978-1-4503-3413-6en
dc.identifier.issn1548-8403en
dc.identifier.issn1558-2914en
dc.identifier.urihttp://hdl.handle.net/2440/108866-
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.language.isoenen
dc.publisherIFAAMSen
dc.rightsCopyright © 2015, International Foundation for Autonomous Agents and Multiagent Systems (www.ifaamas.org). All rights reserved.en
dc.source.urihttp://www.ifaamas.org/Proceedings/aamas2015/forms/index.htmen
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
pubs.publication-statusPublisheden
Appears in Collections:Computer Science publications

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


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