Evaluation Techniques and Systems for Answer Set Programming: A Survey
Abstract
Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications. The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations. In this paper we trace the history of ASP systems, describing the key evaluation techniques and their implementation in actual tools.
Cite
Text
Gebser et al. "Evaluation Techniques and Systems for Answer Set Programming: A Survey." International Joint Conference on Artificial Intelligence, 2018. doi:10.24963/IJCAI.2018/769Markdown
[Gebser et al. "Evaluation Techniques and Systems for Answer Set Programming: A Survey." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/gebser2018ijcai-evaluation/) doi:10.24963/IJCAI.2018/769BibTeX
@inproceedings{gebser2018ijcai-evaluation,
title = {{Evaluation Techniques and Systems for Answer Set Programming: A Survey}},
author = {Gebser, Martin and Leone, Nicola and Maratea, Marco and Perri, Simona and Ricca, Francesco and Schaub, Torsten},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {5450-5456},
doi = {10.24963/IJCAI.2018/769},
url = {https://mlanthology.org/ijcai/2018/gebser2018ijcai-evaluation/}
}