Martin Gebser

About

Martin Gebser is a prominent researcher specializing in Answer Set Programming (ASP), knowledge representation, automated reasoning, and their real-world applications in robotics, logistics, and stream processing. His work has significantly advanced the theory and implementation of ASP systems, particularly through contributions to multi-shot ASP solving — a flexible paradigm enabling continuous grounding and solving processes that adapt dynamically to evolving problem contexts, implemented in the widely-used system *clingo*. Gebser has demonstrated ASP's practical versatility through compelling case studies, including the classic Ricochet Robots puzzle, which has become an established benchmark in the ASP community, accumulating 15 citations across two dedicated publications. His research into stream reasoning addresses the complex challenge of applying sophisticated logical inference to high-velocity data streams in domains such as ambient assisted living and cognitive robotics. More recently, his work on time-bounded planning for logistics robots (19 citations) has positioned ASP as a powerful tool for industrial automation and autonomous systems. Across his career, Gebser has consistently bridged theoretical innovation with practical deployment, making him a key figure in pushing ASP beyond academic settings into demanding real-world environments.

Research Focus

Key Achievements

Top Papers

1. 1
   ASP-Based Time-Bounded Planning for Logistics Robots

   19 citations · 2018
2. 2
   Ricochet Robots Reloaded: A Case-Study in Multi-shot ASP Solving

   15 citations · 2015
3. 3
   Ricochet Robots: A Transverse ASP Benchmark

   15 citations · 2013
4. 4
   Answer Set Programming for Stream Reasoning

   10 citations · 2013
5. 5
   Stream Reasoning with Answer Set Programming: Extended Version

   9 citations · 2012
6. 6
   Multi-shot ASP solving with clingo

   7 citations · 2018
7. 7
   ASP Solving for Expanding Universes

   7 citations · 2015
8. 8
   A System for Interactive Query Answering with Answer Set Programming

   3 citations · 2013

Key Collaborators

Contact & Links