Computational Logic Group (TU Dresden)
@clgroup-tud.bsky.social
The Computational Logic (CL) Group at the AI Institute of TU Dresden's Computer Science department, headed by Sebastian Rudolph.
Thrilled to share that Dörthe Arndt won the Rule Challenge Best Paper Award at RuleML+RR 2025 🏆 for “FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning.” Congrats, Dörthe! 🎉 Pushing the limits of rule-based reasoning!
October 23, 2025 at 7:10 AM
Thrilled to share that Dörthe Arndt won the Rule Challenge Best Paper Award at RuleML+RR 2025 🏆 for “FuN3: Pre-compiling Rules into a High-Level Imperative Language for Top-Down Reasoning.” Congrats, Dörthe! 🎉 Pushing the limits of rule-based reasoning!
Following up on her keynote at this year's Logic Mentoring Workshop (LMW 2024), Luisa Herrmann, a member of our group at TU Dresden and of scads.ai, was invited to summarize her reflections on work-family balance in academia for the Communications of the ACM blog.
January 23, 2025 at 6:11 PM
Following up on her keynote at this year's Logic Mentoring Workshop (LMW 2024), Luisa Herrmann, a member of our group at TU Dresden and of scads.ai, was invited to summarize her reflections on work-family balance in academia for the Communications of the ACM blog.
Congratulations to Bartosz Bednarczyk for successfully defending his PhD at TU Dresden on June 25, 2024! Your hard work and dedication have paid off. 🎉👏 #PhDSuccess #EuropeanResearchCouncil #TUDresden
January 23, 2025 at 6:10 PM
Congratulations to Bartosz Bednarczyk for successfully defending his PhD at TU Dresden on June 25, 2024! Your hard work and dedication have paid off. 🎉👏 #PhDSuccess #EuropeanResearchCouncil #TUDresden