At the 9th International Joint Conference on Rules and Reasoning (RuleML+RR 2025),
held from 22–24 September 2025 in Istanbul, Türkiye, William Van Woensel, Dörthe Arndt, and
Jos De Roo received the Rule Challenge Best Paper Award.
Their winning paper,
"FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning",
introduces an innovative method for pre-compiling rules into a high-level imperative language to
enable more efficient top-down reasoning.
The award was presented on behalf of the conference committee,
recognizing their work as a significant scientific contribution to the field of rules and reasoning.