1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…
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…
Approximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics (Extended Version)
Pascal Kettmann, Jesse Heyninck, Hannes Strass
Fuzzy logic programming is an established approach for reasoning under uncertainty. Several semantics from classical, two-valued logic programming have been generalized to the case…
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…