{"type":"ScholarlyArticle","title":"A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation","authors":[{"name":"Jeroen Spaans","slug":"jeroen-spaans","given":"Jeroen","family":"Spaans","affiliation":""},{"name":"Jesse Heyninck","slug":"jesse-heyninck","given":"Jesse","family":"Heyninck","affiliation":""}],"abstract":"Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planning and scheduling.\r\nIt has previously been extended in various directions, for example to support fuzzy constraint satisfaction, uncertainty, or negation, with different notions of semiring being used as a unifying abstraction for these generalisations. None of these extensions have studied clauses with negation allowed in the body. \r\nWe investigate an extension of CLP which unifies many of these extensions and allows negation in the body. We provide semantics for such programs, using the framework of approximation fixpoint theory, and give a detailed overview of the impacts of properties of the semirings on the resulting semantics. As such, we provide a unifying framework that captures existing approaches and allows to extend them with a more expressive language.","doi":"10.24963/ijcai.2025/299","url":"https://ijcai.org/proceedings/2025/299","pdf":"https://ijcai.org/proceedings/2025/0299.pdf","markdown":"https://ijcai.org/proceedings/2025/299.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/299","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Constraint Satisfaction and Optimization","track":"Main Track","number":299,"pages":{"first":2684,"last":2692},"keywords":["Constraint Satisfaction and Optimization: CSO: Constraint programming","Knowledge Representation and Reasoning: KRR: Logic programming","Constraint Satisfaction and Optimization: CSO: Mixed discrete and continuous optimization","Constraint Satisfaction and Optimization: CSO: Other"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}