Papers
14
Total Citations
353
H-Index
8
About
Torsten Schaub is a prominent researcher in knowledge representation and automated reasoning, with particular expertise in Answer Set Programming (ASP) and inconsistency tolerance. His foundational contributions to inconsistency tolerance — explored across two widely cited works from 2005 accumulating over 230 citations combined — helped establish principled frameworks for reasoning with contradictory information, a challenge central to real-world knowledge systems. Schaub has been instrumental in advancing ASP as a practical tool for complex, dynamic environments. His development of multi-shot ASP solving, implemented in the influential system clingo, introduced a flexible paradigm enabling continuous, reactive reasoning — a breakthrough for applications requiring real-time adaptability. This work extends naturally into stream reasoning, where he tackled the demanding challenge of integrating complex inference with high-throughput data streams driven by modern sensor and Internet technologies. His research bridges theory and application with notable elegance. From deploying ASP in ROS-enabled robots to planning for autonomous logistics systems and even using puzzle-based benchmarks like Ricochet Robots to stress-test solvers, Schaub consistently demonstrates ASP's versatility. His body of work has shaped both the theoretical foundations and practical deployment of declarative AI reasoning in autonomous and industrial systems.
Research Focus
Key Achievements
Top Papers
- 1Inconsistency Tolerance175 citations · 2005
- 2Introduction to Inconsistency Tolerance59 citations · 2005
- 3ASP-Based Time-Bounded Planning for Logistics Robots19 citations · 2018
- 4Integrating ASP into ROS for Reasoning in Robots16 citations · 2015
- 5Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving15 citations · 2015
- 6Ricochet Robots: A Transverse ASP Benchmark15 citations · 2013
- 7Answer Set Programming for Stream Reasoning10 citations · 2013
- 8Stream Reasoning with Answer Set Programming: Extended Version9 citations · 2012
- 9
- 10Multi-shot ASP solving with clingo7 citations · 2018