3 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…
cs.AI2021
Intrinsic Argument Strength in Structured Argumentation: a Principled Approach
Jeroen Paul Spaans
Abstract argumentation provides us with methods such as gradual and Dung semantics with which to evaluate arguments after potential attacks by other arguments. Some of these method…