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

Jeroen Paul Spaans; Jesse Heyninck

doi:10.24963/ijcai.2025/299

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

5 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025
Publisher	ijcai.org
Pages	2684-2692
Number of pages	9
DOIs	https://doi.org/10.24963/ijcai.2025/299
Publication status	Published - 2025
Event	34th International Joint Conference on Artificial Intelligence: IJCAI2025 - Montreal, Canada Duration: 16 Aug 2025 → 22 Aug 2025 https://2025.ijcai.org/

Conference

Conference	34th International Joint Conference on Artificial Intelligence
Country/Territory	Canada
City	Montreal
Period	16/08/25 → 22/08/25
Internet address	https://2025.ijcai.org/

Access to Document

10.24963/ijcai.2025/299

Full TextFinal published version, 207 KBLicence: Taverne

Cite this

@inproceedings{5ba745524f074dfc86a6ffd652dfb2fe,

title = "A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation",

author = "Spaans, \{Jeroen Paul\} and Jesse Heyninck",

year = "2025",

doi = "10.24963/ijcai.2025/299",

language = "English",

pages = "2684--2692",

booktitle = "Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025",

publisher = "ijcai.org",

address = "United States",

note = "34th International Joint Conference on Artificial Intelligence : IJCAI2025 ; Conference date: 16-08-2025 Through 22-08-2025",

url = "https://2025.ijcai.org/",

}

Spaans, JP & Heyninck, J 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 2025, Montreal, Canada, August 16-22, 2025. ijcai.org, pp. 2684-2692, 34th International Joint Conference on Artificial Intelligence, Montreal, Quebec, Canada, 16/08/25. https://doi.org/10.24963/ijcai.2025/299

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation. / Spaans, Jeroen Paul ; Heyninck, Jesse.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025. ijcai.org, 2025. p. 2684-2692.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

AU - Spaans, Jeroen Paul

AU - Heyninck, Jesse

PY - 2025

Y1 - 2025

U2 - 10.24963/ijcai.2025/299

DO - 10.24963/ijcai.2025/299

M3 - Conference Article in proceeding

SP - 2684

EP - 2692

BT - Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2025, Montreal, Canada, August 16-22, 2025

PB - ijcai.org

T2 - 34th International Joint Conference on Artificial Intelligence

Y2 - 16 August 2025 through 22 August 2025

ER -