Holger Jost

Papers

Total Citations

H-Index

About

Holger Jost is a researcher in artificial intelligence and computational logic, with a primary focus on Answer Set Programming (ASP) and its applications to complex combinatorial problems. His work bridges theoretical foundations and practical benchmarks, most notably through his highly cited 2013 paper "Ricochet Robots: A Transverse ASP Benchmark," which has garnered 15 citations. This contribution established a challenging and widely used test case for evaluating ASP solvers, influencing subsequent research in constraint satisfaction and planning. Jost further advanced the field with his 2015 study "ASP Solving for Expanding Universes," which explored dynamic, evolving problem domains and demonstrated the flexibility of ASP in handling non-static environments. Though his publication record is concise, his benchmark work has become a reference point for researchers developing and comparing ASP systems, reflecting a targeted impact on the logic programming community. Jost’s achievements underscore his ability to identify and formalize problems that push the boundaries of automated reasoning, making his contributions valuable for students and researchers seeking to understand the practical challenges and capabilities of modern ASP solvers.