{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:35:20Z","timestamp":1723016120672},"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,8]]},"abstract":"<jats:p>We study the problem of constructing the relational marginal polytope (RMP) of a given set of first-order formulas. Past work has shown that the RMP construction problem can be reduced to weighted first-order model counting (WFOMC). However, existing reductions in the literature are intractable in practice, since they typically require an infeasibly large number of calls to a WFOMC oracle. In this paper, we propose an algorithm to construct RMPs using fewer oracle calls. As an application, we also show how to apply this new algorithm to improve an existing approximation scheme for WFOMC. We demonstrate the efficiency of the proposed approaches experimentally, and find that our method provides speed-ups over the baseline for RMP construction of a full order of magnitude.<\/jats:p>","DOI":"10.24963\/ijcai.2021\/586","type":"proceedings-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:00:49Z","timestamp":1628679649000},"page":"4266-4274","source":"Crossref","is-referenced-by-count":1,"title":["Fast Algorithms for Relational Marginal Polytopes"],"prefix":"10.24963","author":[{"given":"Yuanhong","family":"Wang","sequence":"first","affiliation":[{"name":"State Key Laboratory of Software Development Environment & Engineering Research Center of ACAT, Ministry of Education. Beihang University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"van Bremen","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juhua","family":"Pu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Software Development Environment & Engineering Research Center of ACAT, Ministry of Education. Beihang University, China"},{"name":"Research Institute of Beihang University in Shenzhen, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuyi","family":"Wang","sequence":"additional","affiliation":[{"name":"CRRC Zhuzhou Institute, China"},{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ondrej","family":"Kuzelka","sequence":"additional","affiliation":[{"name":"Czech Technical University in Prague, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"30","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2021","name":"Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}","start":{"date-parts":[[2021,8,19]]},"theme":"Artificial Intelligence","location":"Montreal, Canada","end":{"date-parts":[[2021,8,27]]}},"container-title":["Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:04:11Z","timestamp":1628679851000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2021\/586"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2021\/586","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}