{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T21:58:54Z","timestamp":1783115934534,"version":"3.54.6"},"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,9]]},"abstract":"<jats:p>Most Probable Explanation (MPE) is a fundamental problem in statistical relational artificial intelligence.\n\nIn the context of Probabilistic Answer Set Programming (PASP), solving MPE is still an open research problem.\n\nIn this paper, we present three novel approaches for solving the MPE task in PASP that are based on: i) Algebraic Model Counting, ii) Answer Set Programming (ASP), and iii) ASP with quantifiers (ASP(Q)).\n\nThese approaches are implemented and evaluated against existing solvers across different datasets and configurations.\n\nEmpirical results demonstrate that the novel solutions consistently outperform existing alternatives for non-stratified programs.<\/jats:p>","DOI":"10.24963\/ijcai.2025\/1006","type":"proceedings-article","created":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:10:40Z","timestamp":1758269440000},"page":"9049-9057","source":"Crossref","is-referenced-by-count":2,"title":["Most Probable Explanation in Probabilistic Answer Set Programming"],"prefix":"10.24963","author":[{"given":"Damiano","family":"Azzolini","sequence":"first","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giuseppe","family":"Mazzotta","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25}","theme":"Artificial Intelligence","location":"Montreal, Canada","acronym":"IJCAI-2025","number":"34","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2025,8,16]]},"end":{"date-parts":[[2025,8,22]]}},"container-title":["Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T11:35:49Z","timestamp":1758627349000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2025\/1006"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2025,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2025\/1006","relation":{},"subject":[],"published":{"date-parts":[[2025,9]]}}}