Tomi Janhunen

Papers

Total Citations

H-Index

About

Tomi Janhunen is a leading figure in the field of answer set programming (ASP), a paradigm of declarative problem solving rooted in logic and non-monotonic reasoning. His research focuses on the foundations of ASP, including the development of efficient solving techniques, the translation and equivalence of logic programs, and the integration of ASP with other formalisms. A major contribution is his work on modularity and the decomposition of ASP programs, enabling more scalable and maintainable solutions for complex problems. His paper "ASP Solving for Expanding Universes" (2015, 7 citations) explores dynamic domains where the set of objects grows during computation, a key challenge for real-world applications. Janhunen's impact is evident in his extensive publication record and his role in advancing the theoretical underpinnings of ASP, influencing both automated reasoning and practical AI systems. He has also contributed to the development of the ASP solver "lp2sat" and co-authored influential surveys on the state of the art in answer set programming.