Max Robotics — Global Service Robot Directory + US Certification

About

Philipp Obermeier is a researcher specializing in Answer Set Programming (ASP) and its applications in dynamic, real-world environments, with particular focus on stream reasoning, cognitive robotics, and combinatorial problem solving. His work has made significant contributions to extending ASP beyond static knowledge representation into domains involving continuous data and reactive systems. Obermeier is perhaps best known for his investigations into the Ricochet Robots puzzle as an ASP benchmark, producing two influential studies — including a multi-shot solving approach — that together have garnered 30 citations and helped establish rigorous standards for evaluating ASP solvers. His research into stream reasoning with ASP, reflected in multiple publications totaling nearly 20 citations, addresses the growing challenge of integrating complex logical reasoning with high-throughput data streams, with applications in ambient assisted living and dynamic scheduling. His development of ROSoClingo, an ASP-based control package for the Robot Operating System (ROS), demonstrates a commitment to translating theoretical advances into practical robotics tools. Obermeier's broader portfolio reveals a researcher dedicated to making declarative reasoning methods robust, reactive, and deployable in cognitively demanding, real-time scenarios — work of increasing relevance as intelligent systems become ever more embedded in everyday life.