Systems, Engineering Environments, and Competitions

  • Yuliya Lierler University of Nebraska at Omaha
  • Marco Maratea University of Genoa
  • Francesco Ricca University of Calabria

Abstract

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.
Published
2016-10-07
Section
Articles