{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:01:14Z","timestamp":1762326074339,"version":"build-2065373602"},"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":[[2025,11]]},"abstract":"<jats:p>Identifying the specific actions that achieve goals when\n\nsolving a planning task might be beneficial for various\n\nplanning applications. Traditionally, this identification occurs\n\npost-search, as some actions may temporarily achieve goals\n\nthat are later undone and re-achieved by other actions. In\n\nthis paper, we propose a compilation that extends the\n\noriginal planning task with commit actions that enforce the\n\npersistence of specific goals once achieved, allowing\n\nplanners to identify permanent goal achievement during\n\nplanning. Experimental results indicate that solving the\n\nreformulated tasks does not incur on any additional\n\noverhead both when performing optimal and suboptimal\n\nplanning, while providing useful information for some\n\ndownstream tasks.<\/jats:p>","DOI":"10.24963\/kr.2025\/82","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"853-857","source":"Crossref","is-referenced-by-count":0,"title":["A Planning Compilation to Reason About Goal Achievement at Planning Time"],"prefix":"10.24963","author":[{"given":"Alberto","family":"Pozanco","sequence":"first","affiliation":[{"name":"J.P. Morgan AI Research"}]},{"given":"Marianela","family":"Morales","sequence":"additional","affiliation":[{"name":"J.P. Morgan AI Research"}]},{"given":"Daniel","family":"Borrajo","sequence":"additional","affiliation":[{"name":"J.P. Morgan AI Research"}]},{"given":"Manuela","family":"Veloso","sequence":"additional","affiliation":[{"name":"J.P. Morgan AI Research"}]}],"member":"10584","event":{"name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}","theme":"Artificial Intelligence","location":"Melbourne, Australia","acronym":"KR-2025","number":"22","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2025,11,11]]},"end":{"date-parts":[[2025,11,17]]}},"container-title":["Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:11:28Z","timestamp":1762323088000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/82"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,11]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2025\/82","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}