{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:36:34Z","timestamp":1723016194392},"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":[[2023,8]]},"abstract":"In human-aware planning systems, a planning agent might need to explain its plan to a human user when that plan appears to be non-feasible or sub-optimal. A popular approach, called model reconciliation, has been proposed as a way to bring the model of the human user closer to the agent's model. In this paper, we approach the model reconciliation problem from a different perspective, that of knowledge representation and reasoning, and demonstrate that our approach can be applied not only to classical planning problems but also hybrid systems planning problems with durative actions and events\/processes.<\/jats:p>","DOI":"10.24963\/ijcai.2023\/795","type":"proceedings-article","created":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:31:30Z","timestamp":1691742690000},"page":"6985-6989","source":"Crossref","is-referenced-by-count":0,"title":["A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract)"],"prefix":"10.24963","author":[{"given":"Stylianos Loukas","family":"Vasileiou","sequence":"first","affiliation":[{"name":"Washington University in St Louis"}]},{"given":"William","family":"Yeoh","sequence":"additional","affiliation":[{"name":"Washington University in St. Louis"}]},{"given":"Son","family":"Tran","sequence":"additional","affiliation":[{"name":"New Mexico State University"}]},{"given":"Ashwin","family":"Kumar","sequence":"additional","affiliation":[{"name":"Washington University in St Louis"}]},{"given":"Michael","family":"Cashmore","sequence":"additional","affiliation":[{"name":"University of Strathclyde"}]},{"given":"Daniele","family":"Magazzeni","sequence":"additional","affiliation":[{"name":"King's College London"}]}],"member":"10584","event":{"number":"32","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2023","name":"Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}","start":{"date-parts":[[2023,8,19]]},"theme":"Artificial Intelligence","location":"Macau, SAR China","end":{"date-parts":[[2023,8,25]]}},"container-title":["Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2023,8,11]],"date-time":"2023-08-11T08:56:16Z","timestamp":1691744176000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2023\/795"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2023\/795","relation":{},"subject":[],"published":{"date-parts":[[2023,8]]}}}