A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation

Spaans, Jeroen; Heyninck, Jesse

doi:10.24963/ijcai.2025/299

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation

Download BibTeX Cite

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. Main Track. Pages 2684-2692.

https://doi.org/10.24963/ijcai.2025/299

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

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.

It 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.

We 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.

Jeroen Spaans, and Jesse Heyninck. 2025. A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25. IJCAI, 2684–2692. https://doi.org/10.24963/ijcai.2025/299

@inproceedings{ijcai2025p299,
  title     = {A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation},
  author    = {Spaans, Jeroen and Heyninck, Jesse},
  booktitle = {Proceedings of the Thirty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-25}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {James Kwok},
  pages     = {2684--2692},
  year      = {2025},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2025/299},
  url       = {https://doi.org/10.24963/ijcai.2025/299},
}

TY  - CPAPER
TI  - A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation
AU  - Spaans, Jeroen
AU  - Heyninck, Jesse
T2  - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI-25
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2025
SP  - 2684
EP  - 2692
DO  - 10.24963/ijcai.2025/299
UR  - https://doi.org/10.24963/ijcai.2025/299
ER  -