{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:39:41Z","timestamp":1723016381391},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:p>Mechanism Design aims at defining mechanisms that satisfy a predefined set of properties, and Auction Mechanisms are of foremost importance.  Core properties of mechanisms, such as strategy-proofness or budget-balance, involve: (i) complex strategic concepts such as Nash equilibria, (ii) quantitative aspects such as utilities, and often (iii) imperfect information,with agents\u2019 private valuations.  We demonstrate that Strategy Logic provides a formal framework fit to model mechanisms, express such properties, and verify them.  To do so, we consider a quantitative and epistemic variant of Strategy Logic.  We first show how to express the implementation of social choice functions.  Second, we show how fundamental mechanism properties can be expressed as logical formulas,and thus evaluated by model checking. Finally, we prove that model checking for this particular variant of Strategy Logic can be done in polynomial space.<\/jats:p>","DOI":"10.24963\/kr.2021\/46","type":"proceedings-article","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T16:45:56Z","timestamp":1633970756000},"page":"487-496","source":"Crossref","is-referenced-by-count":4,"title":["Strategic Reasoning in Automated Mechanism Design"],"prefix":"10.24963","author":[{"given":"Bastien","family":"Maubert","sequence":"first","affiliation":[{"name":"University of Naples Federico II"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munyque","family":"Mittelmann","sequence":"additional","affiliation":[{"name":"IRIT, Universit\u00e9 de Toulouse 1 Capitole"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[{"name":"University of Naples Federico II"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Perrussel","sequence":"additional","affiliation":[{"name":"IRIT, Universit\u00e9 de Toulouse 1 Capitole"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"18","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Sea AI Lab","Potassco Solutions","European Association for Artificial Intelligence"],"acronym":"KR-2021","name":"18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}","start":{"date-parts":[[2020,11,12]]},"theme":"Artificial Intelligence","location":"Hanoii, Vietnam","end":{"date-parts":[[2021,11,18]]}},"container-title":["Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T16:46:22Z","timestamp":1633970782000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2021\/46"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2021\/46","relation":{},"subject":[],"published":{"date-parts":[[2021,9]]}}}