{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T07:00:12Z","timestamp":1762326012138,"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>Probabilistic logic-based languages offer an expressive\n\nframework for encoding uncertain information in a\n\nhuman-interpretable way.\n\nAmong existing formalisms, Probabilistic Answer Set\n\nProgramming (PASP) stands out for its ease of modeling\n\ncomplex scenarios.\n\nThe current definition of PASP is limited to programs\n\nconsisting of disjunctive rules and probabilistic facts\n\nonly. To enhance the expressivity of the framework, we\n\nintroduce Optimal Probabilistic Answer Set Programming,\n\nwhich extends the language by allowing the inclusion of\n\nweak constraints within PASP specifications. We motivate\n\nthis extension through some real-world application\n\nscenarios and present a detailed computational complexity\n\nanalysis for both the inference and Most Probable\n\nExplanation (MPE) tasks.<\/jats:p>","DOI":"10.24963\/kr.2025\/7","type":"proceedings-article","created":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T06:10:44Z","timestamp":1762323044000},"page":"67-77","source":"Crossref","is-referenced-by-count":0,"title":["A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming"],"prefix":"10.24963","author":[{"given":"Damiano","family":"Azzolini","sequence":"first","affiliation":[{"name":"University of Ferrara"}]},{"given":"Giuseppe","family":"Mazzotta","sequence":"additional","affiliation":[{"name":"University of Calabria"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"University of Calabria"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[{"name":"University of Ferrara"}]}],"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:10:49Z","timestamp":1762323049000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2025\/7"}},"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\/7","relation":{},"subject":[],"published":{"date-parts":[[2025,11]]}}}