Systems, Engineering Environments, and Competitions

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...

Full description

Saved in:
Bibliographic Details
Published in:The AI magazine 2016-09, Vol.37 (3), p.45-52
Main Authors: Lierler, Yuliya, Maratea, Marco, Ricca, Francesco
Format: Article
Language:English
Subjects:
Algorithms
Artificial intelligence
Benchmarks
Colleges & universities
Engineering
Forecasts and trends
Integer programming
Language
Logic programming
Marathons
Market trend/market analysis
Mathematical programming
Methods
Software
Solvers
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0738-4602
2371-9621
DOI:10.1609/aimag.v37i3.2675