Practical and methodological aspects of the use of cutting-edge ASP tools

Abstract

In the development of practical applications of answer set programming (ASP), encodings that use well-established solvers such as clasp and dlv are sometimes affected by scalability issues. In those situations, one can resort to more sophisticated ASP tools exploiting, for instance, incremental and constraint ASP. However, today there is no specific methodology for the selection or use of such tools. In this paper we describe how we used such cutting-edge ASP tools on challenging problems from the Third Answer Set Programming Competition. We view this paper as a first step in the development of a general methodology for the use of advanced ASP tools. © 2012 Springer-Verlag.