Hannes Straß and Pascal Kettmann win the Harold Boley Distinguished Paper Award
From International Center for Computational Logic
News from the research group Computational Logic of September 23, 2026
Hannes Straß and Pascal Kettmann win the Harold Boley Distinguished Paper Award
The Computational Logic Group is delighted to announce that the paper “Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory” by Pascal Kettmann, Hannes Straß, Jesse Heyninck, and Jeroen Spaans has received the Harold Boley Distinguished Paper Award at the 10th International Joint Conference on Rules and Reasoning (RuleML+RR 2026) .
The contribution develops a unified semantics for extended fuzzy logic programs by combining fuzzy reasoning with two forms of negation—negation as failure and strong negation—through Approximation Fixpoint Theory (AFT). This framework subsumes several well‑known semantics, including stable‑model and well‑founded semantics.
