{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:39:13Z","timestamp":1723016353073},"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>This work deals with logical formalization and problem solving using automated solvers. We present the automatic translator TouIST that provides a simple language to generate logical formulas from a problem description. Our tool allows us to model many static or dynamic combinatorial problems and to benefit from the regular improvements of SAT, QBF or SMT solvers in order to solve these problems efficiently. In particular, we show how to use TouIST to solve different classes of planning tasks in Artificial Intelligence.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/756","type":"proceedings-article","created":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T02:12:49Z","timestamp":1594260769000},"page":"5240-5242","source":"Crossref","is-referenced-by-count":0,"title":["TouIST: a Friendly Language for Propositional Logic and More"],"prefix":"10.24963","author":[{"given":"Jorge","family":"Fernandez","sequence":"first","affiliation":[{"name":"IRIT - Univ. Paul Sabatier, Toulouse, France"}]},{"given":"Olivier","family":"Gasquet","sequence":"additional","affiliation":[{"name":"IRIT - Univ. Paul Sabatier, Toulouse, France"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[{"name":"IRIT - CNRS, Toulouse, France"}]},{"given":"Dominique","family":"Longin","sequence":"additional","affiliation":[{"name":"IRIT - CNRS, Toulouse, France"}]},{"given":"Emiliano","family":"Lorini","sequence":"additional","affiliation":[{"name":"IRIT - CNRS, Toulouse, France"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Maris","sequence":"additional","affiliation":[{"name":"IRIT - Univ. Paul Sabatier, Toulouse, France"}]},{"given":"Pierre","family":"R\u00e9gnier","sequence":"additional","affiliation":[{"name":"IRIT - Univ. Paul Sabatier, Toulouse, France"}]}],"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:17:02Z","timestamp":1594261022000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/756"}},"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\/756","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}