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.
Exciting news: our group member, Tim Lyon, has joined the editorial board of the Bulletin of the Section of Logic! 🎉 The journal is an excellent venue for research in logic, and researchers are warmly encouraged to submit their papers: czasopisma.uni.lodz.pl/bulletin/index
Bulletin of the Section of Logic
A quarterly peer-reviewed journal on logic
czasopisma.uni.lodz.pl
January 13, 2026 at 10:53 AM
Exciting news: our group member, Tim Lyon, has joined the editorial board of the Bulletin of the Section of Logic! 🎉 The journal is an excellent venue for research in logic, and researchers are warmly encouraged to submit their papers: czasopisma.uni.lodz.pl/bulletin/index
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!
New publication alert! The open-access paper, "Decidability of Querying First-Order Theories via Countermodels of Finite Width," is now published. Read it here: lmcs.episciences.org/15535
Decidability of Querying First-Order Theories via Countermodels of Finite Width
We propose a generic framework for establishing the decidability of a wide range of logical entailment problems (briefly called querying), based on the existence of countermodels that are structurally...
lmcs.episciences.org
May 16, 2025 at 3:02 PM
New publication alert! The open-access paper, "Decidability of Querying First-Order Theories via Countermodels of Finite Width," is now published. Read it here: lmcs.episciences.org/15535
New publication alert! Tim Lyon's paper, "On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic," is now published. Read it here: doi.org/10.1007/978-...
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Propositional dynamic logic (
$$\textsf{PDL}$$
) is an important modal logic used to specify and reason about th...
doi.org
March 27, 2025 at 10:06 AM
New publication alert! Tim Lyon's paper, "On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic," is now published. Read it here: doi.org/10.1007/978-...
New publication alert! Tim Lyon's paper, "Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations," is now out. Read it here: doi.org/10.4230/LIPI...
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
doi.org
March 27, 2025 at 10:05 AM
New publication alert! Tim Lyon's paper, "Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations," is now out. Read it here: doi.org/10.4230/LIPI...
Don’t miss this insightful interview with Prof. Sebastian Rudolph, where he explores why 'Artificial Intelligence is More Than Just ChatGPT.' Read it here: secai.org/content/news...
“Artificial Intelligence is More than just ChatGPT” - SECAI
Many people automatically think of machine learning when hearing the words artificial intelligence (AI). Currently, systems are predominating which identify patterns in huge volumes of data – this is ...
secai.org
January 24, 2025 at 4:40 PM
Don’t miss this insightful interview with Prof. Sebastian Rudolph, where he explores why 'Artificial Intelligence is More Than Just ChatGPT.' Read it here: secai.org/content/news...
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