Benjamin Kaufmann
Papers
1
Total Citations
7
H-Index
1
About
Benjamin Kaufmann is a leading figure in the field of Answer Set Programming (ASP), with a core focus on advancing the efficiency and flexibility of logic-based knowledge representation and reasoning. His most significant contribution is the development of the multi-shot ASP solving paradigm, which fundamentally reimagines how grounding and solving processes interact in real-world applications. This innovation, implemented in the widely-used ASP system *clingo*, allows for continuous, incremental problem solving—enabling systems to handle dynamic, evolving knowledge without restarting from scratch. Kaufmann’s work has been instrumental in bridging the gap between theoretical ASP and practical, scalable deployment in areas like robotics, configuration, and bioinformatics. His landmark paper, "Multi-shot ASP solving with clingo" (2018), has garnered 7 citations, reflecting its foundational role in the community. By making ASP more responsive and adaptable, Kaufmann has empowered researchers and engineers to tackle complex, real-time reasoning tasks, cementing his reputation as a key architect of modern, industrial-strength answer set solvers.
Research Focus
Key Achievements
Top Papers
- 1Multi-shot ASP solving with clingo7 citations · 2018