Answer Set Programming: A Primer

@inproceedings{Eiter2009AnswerSP,
  title={Answer Set Programming: A Primer},
  author={Thomas Eiter and Giovambattista Ianni and Thomas Krennwallner},
  booktitle={Reasoning Web},
  year={2009}
}
Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This article is a gentle introduction to the subject; it starts with motivation and follows the historical development of the challenge of defining a semantics for logic programs with negation. It looks into positive programs over stratified programs to arbitrary programs, and then proceeds to… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 173 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 96 extracted citations

174 Citations

02040'10'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 174 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…