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. Copyright © 2016, Association for the Advancement of Artificial Intelligence. All rights reserved.
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Systems, Engineering Environments, and Competitions |
Autori: | RICCA, Francesco (Corresponding) |
Data di pubblicazione: | 2016 |
Rivista: | |
Handle: | http://hdl.handle.net/20.500.11770/132084 |
Appare nelle tipologie: | 1.1 Articolo in rivista |