Systems, Engineering Environments, and Competitions

Lierler, Yuliya (University of Nebraska at Omaha) | Maratea, Marco (University of Genoa) | Ricca, Francesco (University of Calabria)

AI Magazine 

The goal of this article is threefold. First, we trace the history of the development of answer set solvers, by accounting for more than a dozen of them. Second, we discuss development tools and environments that facilitate the use of answer set programming technology in practical applications. Last, we present the evolution of the answer set programming competitions, prime venues for tracking advances in answer set solving technology.