{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T23:36:02Z","timestamp":1761176162452,"version":"build-2065373602"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686318","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,21]],"date-time":"2025-10-21T00:00:00Z","timestamp":1761004800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,21]]},"abstract":"<jats:p>Maximum-a-Posteriori (MAP) inference is a crucial problem in Artificial Intelligence, which requires both marginalization and maximization, and asks for the most probable value for a given set of variables such that an evidence holds. Several languages within the Statistical Relational Artificial Intelligence landscape support the encoding of MAP. Here, we focus on Probabilistic Answer Set Programming, consider the credal and smProbLog semantics, and introduce a three-level algebraic model counting representation for MAP. We implemented our approach on top of a state-of-the-art solver and compared it with existing solutions, showing the competitive performance of our proposal, even against less general tools.<\/jats:p>","DOI":"10.3233\/faia250972","type":"book-chapter","created":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:47:21Z","timestamp":1761126441000},"source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic View of MAP Inference in Probabilistic Answer Set Programs"],"prefix":"10.3233","author":[{"given":"Damiano","family":"Azzolini","sequence":"first","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}]},{"given":"Giuseppe","family":"Mazzotta","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"University of Calabria, Rende, Italy"}]},{"given":"Fabrizio","family":"Riguzzi","sequence":"additional","affiliation":[{"name":"University of Ferrara, Ferrara, Italy"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2025"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA250972","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,22]],"date-time":"2025-10-22T09:47:22Z","timestamp":1761126442000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA250972"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,21]]},"ISBN":["9781643686318"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia250972","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,21]]}}}