{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T21:38:27Z","timestamp":1771018707933,"version":"3.50.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.24963\/ijcai.2018\/769","type":"proceedings-article","created":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:49:10Z","timestamp":1530755350000},"page":"5450-5456","source":"Crossref","is-referenced-by-count":32,"title":["Evaluation Techniques and Systems for Answer Set Programming: a Survey"],"prefix":"10.24963","author":[{"given":"Martin","family":"Gebser","sequence":"first","affiliation":[{"name":"University of Potsdam, Germany"}]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[{"name":"University of Calabria, Italy"}]},{"given":"Marco","family":"Maratea","sequence":"additional","affiliation":[{"name":"University of Genova, Italy"}]},{"given":"Simona","family":"Perri","sequence":"additional","affiliation":[{"name":"University of Calabria, Italy"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[{"name":"University of Calabria, Italy"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[{"name":"University of Potsdam, Germany"}]}],"member":"10584","event":{"name":"Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}","theme":"Artificial Intelligence","location":"Stockholm, Sweden","acronym":"IJCAI-2018","number":"27","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2018,7,13]]},"end":{"date-parts":[[2018,7,19]]}},"container-title":["Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2018,7,5]],"date-time":"2018-07-05T01:55:51Z","timestamp":1530755751000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2018\/769"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2018\/769","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}