{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:01:05Z","timestamp":1762326065798,"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>In this paper, we present a symbolic search-based procedure for numeric planning based on Symbolic Pattern Planning (SPP). In SPP, a pattern is a sequence of actions used to define a logic formula whose models correspond to sequences of applicable actions and reachable states. Here, starting from the empty pattern, we iteratively extend and compress it using search techniques until a goal state is reached. We prove the correctness and completeness of the procedure and demonstrate its good performance compared to both the original SPP approach and other publicly available numeric planners on the 2023 International Planning Competition Agile track.<\/jats:p>","DOI":"10.24963\/kr.2025\/73","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"762-772","source":"Crossref","is-referenced-by-count":0,"title":["Pushing the Envelope in Numeric Pattern Planning"],"prefix":"10.24963","author":[{"given":"Matteo","family":"Cardellini","sequence":"first","affiliation":[{"name":"DIBRIS, University of Genova, Genova, Italy"}]},{"given":"Enrico","family":"Giunchiglia","sequence":"additional","affiliation":[{"name":"DIBRIS, University of Genova, Genova, Italy"}]}],"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:23Z","timestamp":1762323083000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/73"}},"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\/73","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}