Max Robotics — Global Service Robot Directory + US Certification

About

Roland Kaminski is a researcher specializing in Answer Set Programming (ASP), with particular expertise in multi-shot solving, stream reasoning, and complex combinatorial problem-solving. His work sits at the intersection of knowledge representation, automated reasoning, and real-world applications of declarative programming. Kaminski has made notable contributions to the development of multi-shot ASP solving — a paradigm enabling dynamic, continuously evolving grounding and solving processes — most prominently through his work on the widely-used ASP system *clingo*. This flexible framework has become an important tool for researchers tackling problems that require incremental or reactive reasoning. His repeated use of the Ricochet Robots puzzle as a transverse benchmark (earning 15 citations each across two studies) reflects a rigorous approach to evaluating ASP systems under realistic, challenging conditions. His research on stream reasoning addresses the growing demands of IoT and sensor-driven environments, where continuous data streams must be paired with sophisticated inference capabilities — work that has attracted attention from communities in robotics, ambient assisted living, and dynamic scheduling. With citations spanning multiple venues and years, Kaminski's contributions have helped shape modern ASP methodology and its practical deployment in complex, time-sensitive domains.