2 papers
cs.LO2026
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
Pascal Kettmann, Hannes Strass, Jesse Heyninck +1
In logic programming, negation can be interpreted in various ways. Probably best known is the concept of "negation as failure", where "" is true if we have no evi…
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…