{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T00:15:04Z","timestamp":1758672904683,"version":"3.44.0"},"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>Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case of fuzzy logic programs. In this paper, we show that two of the most prominent classical semantics, namely the stable model and the well-founded semantics, can be reconstructed within the general framework of approximation fixpoint theory (AFT).\n\n\n\nThis not only widens the scope of AFT from two- to many-valued logics, but allows a wide range of existing AFT results to be applied to fuzzy logic programming. As first examples of such applications, we clarify the formal relationship between existing semantics, generalize the notion of stratification from classical to fuzzy logic programs, and devise \u201cmore precise\u201d variants of the semantics.<\/jats:p>","DOI":"10.24963\/ijcai.2025\/506","type":"proceedings-article","created":{"date-parts":[[2025,9,19]],"date-time":"2025-09-19T08:10:40Z","timestamp":1758269440000},"page":"4544-4552","source":"Crossref","is-referenced-by-count":0,"title":["Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics"],"prefix":"10.24963","author":[{"given":"Pascal","family":"Kettmann","sequence":"first","affiliation":[{"name":"TU Dresden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jesse","family":"Heyninck","sequence":"additional","affiliation":[{"name":"Open Universiteit"},{"name":"University of Cape Town"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hannes","family":"Strass","sequence":"additional","affiliation":[{"name":"TU Dresden"},{"name":"Center for Scalable Data Analytics and Artificial Intelligence"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"34","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2025","name":"Thirty-Fourth International Joint Conference on Artificial Intelligence {IJCAI-25}","start":{"date-parts":[[2025,8,16]]},"theme":"Artificial Intelligence","location":"Montreal, Canada","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:34:13Z","timestamp":1758627253000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2025\/506"}},"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\/506","relation":{},"subject":[],"published":{"date-parts":[[2025,9]]}}}