Neuigkeit aus der Forschungsgruppe Computational Logic vom 23. September 2026

Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award

Die Computational Logic Group freut sich, bekannt zu geben, dass die Arbeit „Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory“ von Pascal Kettmann, Hannes Straß, Jesse Heyninck und Jeroen Spaans den Harold Boley Distinguished Paper Award auf der 10. Internationalen Gemeinsamen Konferenz über Regeln und Schlussfolgerungen (RuleML+RR 2026) erhalten hat .

Die Arbeit liefert ein einheitliches Rahmenwerk für erweiterte Fuzzy‑Logik‑Programme, indem sie fuzzy‑logisches Schließen mit Negation durch Fehlschlag und starker Negation mittels Approximation Fixpoint Theory (AFT) verbindet. Damit werden u. a. die Stable‑Model‑ und Well‑Founded‑Semantik abgedeckt.

Eine erweiterte Version ist auf arXiv verfügbar: Extended Version