Torsten Schaub

Torsten Schaub is a Professor at the Institute of Computer Science, University of Potsdam. His research focuses on Answer Set Programming (ASP), constraint solving, temporal reasoning, and combinatorial optimization, with applications in multi-agent pathfinding, product configuration, and course timetabling.

• Key contributions include ASP-based tools for industrial-scale optimization problems, metric temporal logic implementations, and frameworks for dynamic equilibrium logic.
• Recent work explores efficient design space exploration, stream reasoning, and multi-shot ASP solving for complex domains.

His publications emphasize hybrid ASP systems, integrating constraints and temporal logic, with co-authors across Europe and Asia. He actively develops tools like clingo and Clingraph for practical ASP applications in logistics, bioinformatics, and robotics.

The articles reveal a trend toward multi-agent systems (e.g., pathfinding algorithms) and temporal extensions in ASP, combining formal logic with real-world problem-solving. Sub-fields include constraint satisfaction, logical abduction, and declarative modeling for optimization tasks.