TY - JOUR
T1 - Answer set programming at a glance
AU - Brewka, Gerhard
AU - Eiter, Thomas
AU - Truszczyński, Miroslaw
PY - 2011/12
Y1 - 2011/12
N2 - Can solving hard computational problems be made easy? If we restrict the scope of the question to computational problems that can be stated in terms of constraints over binary domains, and if we understand "easy" as "using a simple and intuitive modeling language that comes with software for processing programs in the language," then the answer is Yes! Answer Set Programming (ASP, for short) fits the bill. While already well represented at research conferences and workshops, ASP has been around for barely more than a decade. Its origins, however, go back a long time; it is an outcome of years of research in knowledge representation, logic programming, and constraint satisfaction-areas that sought and studied declarative languages to model domain knowledge, as well as general-purpose computational tools for processing programs and theories that represent problem specifications in these languages. ASP borrows from each of these areas, all the time aiming.
AB - Can solving hard computational problems be made easy? If we restrict the scope of the question to computational problems that can be stated in terms of constraints over binary domains, and if we understand "easy" as "using a simple and intuitive modeling language that comes with software for processing programs in the language," then the answer is Yes! Answer Set Programming (ASP, for short) fits the bill. While already well represented at research conferences and workshops, ASP has been around for barely more than a decade. Its origins, however, go back a long time; it is an outcome of years of research in knowledge representation, logic programming, and constraint satisfaction-areas that sought and studied declarative languages to model domain knowledge, as well as general-purpose computational tools for processing programs and theories that represent problem specifications in these languages. ASP borrows from each of these areas, all the time aiming.
UR - http://www.scopus.com/inward/record.url?scp=80055034805&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80055034805&partnerID=8YFLogxK
U2 - 10.1145/2043174.2043195
DO - 10.1145/2043174.2043195
M3 - Review article
AN - SCOPUS:80055034805
SN - 0001-0782
VL - 54
SP - 93
EP - 103
JO - Communications of the ACM
JF - Communications of the ACM
IS - 12
ER -