{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T04:06:54Z","timestamp":1751861214737},"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":[[2020,7]]},"abstract":"<jats:p>In Boolean games, each agent controls a set of Boolean variables \n\nand has a goal represented by a propositional formula.  We study\n\ninference problems in Boolean games assuming the presence of a\n\nPRINCIPAL who has the ability to control the agents and impose\n\ntaxation schemes.  Previous work used taxation schemes to guide a\n\ngame towards certain equilibria.  We present algorithms that show\n\nhow taxation schemes can also be used to infer agents' goals.  We\n\npresent experimental results to demonstrate the efficacy our\n\nalgorithms.  We also consider goal inference when only limited\n\ninformation is available in response to a query.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/220","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T08:12:10Z","timestamp":1594195930000},"page":"1585-1591","source":"Crossref","is-referenced-by-count":1,"title":["Boolean Games: Inferring Agents' Goals Using Taxation Queries"],"prefix":"10.24963","author":[{"given":"Abhijin","family":"Adiga","sequence":"first","affiliation":[{"name":"Biocomplexity Institute, Univ. of VA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarit","family":"Kraus","sequence":"additional","affiliation":[{"name":"Bar-Ilan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleg","family":"Maksimov","sequence":"additional","affiliation":[{"name":"Bar-Ilan University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. S.","family":"Ravi","sequence":"additional","affiliation":[{"name":"Biocomplexity Institute, Univ. of VA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-PRICAI-2020","name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","start":{"date-parts":[[2020,7,11]]},"theme":"Artificial Intelligence","location":"Yokohama, Japan","end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T22:13:56Z","timestamp":1594246436000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/220"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/220","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}