{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T18:21:10Z","timestamp":1747592470890},"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>We consider the problem of planning with arithmetic\n\n theories, and focus on generating optimal \n\n plans for numeric domains with constant and state-dependent action costs. \n\n Solving these problems efficiently requires a seamless integration between\n\n propositional and numeric reasoning. We propose a novel approach that leverages Optimization \n\n Modulo Theories (OMT) solvers to implement a domain-independent optimal \n\n theory-planner. We present a new encoding\n\n for optimal planning in this setting and \n\n we evaluate our approach using well-known, as well as new, numeric benchmarks.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/571","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T12:12:10Z","timestamp":1594210330000},"page":"4128-4134","source":"Crossref","is-referenced-by-count":8,"title":["Optimal Planning Modulo Theories"],"prefix":"10.24963","author":[{"given":"Francesco","family":"Leofante","sequence":"first","affiliation":[{"name":"Imperial College London, United Kingdom"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy"}]},{"given":"Erika","family":"\u00c1br\u00e1ham","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy"}]}],"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,9]],"date-time":"2020-07-09T02:16:02Z","timestamp":1594260962000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/571"}},"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\/571","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}