Stefan Woltran

Stefan Woltran is a Professor at TU Wien, affiliated with the Research Group Databases and Artificial Intelligence. His work focuses on formal methods in AI, particularly in abstract argumentation frameworks, knowledge representation, and computational logic. He leads research initiatives exploring semantics analysis, preference handling in argumentation, and algorithmic optimizations for complex reasoning tasks. His contributions bridge theoretical foundations with practical applications in logic programming and automated reasoning.

Research Interests:

• Abstract Argumentation (semantics, expressiveness, complexity)
• Answer Set Programming (grounding optimization, formal properties)
• Knowledge Representation (formal systems, computational complexity)
• Algorithm Design (tree decompositions, dynamic programming)

Publications reflect advancements in argumentation theory, logic-based AI, and algorithmic problem-solving. He supervises PhD students in these areas and collaborates on projects addressing bottlenecks in automated reasoning systems.