34 citations · 38 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 34 cited
Automated Termination Analysis for Logic Programs with Cut
Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder +2
Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, wherea…
cs.PL2009★ 4 cited
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl +1
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt term…