Jeroen Spaans

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

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 satisf