Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
Jeroen Spaans, Jesse Heyninck
Constraint Logic Programming (CLP) is a logic programming formalism used to solve problems requiring the consideration of constraints, like resource allocation and automated planni…
cs.AI2024
Operator-based semantics for choice programs: is choosing losing? (full version)
Jesse Heyninck
Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have b…