R07: Clingo = ASP + Control

This report describes the clingo-4 system, the first to intimately integrate Gringo and Clasp. We'll read the clingo-5 system paper later in the quarter.

https://pdfs.semanticscholar.org/d3c8/046502feab9dbe995f30e6fae132d58f8da4.pdf Links to an external site. Links to an external site.

For some additional context, also consider reading this nugget of CS history: http://dl.acm.org/citation.cfm?id=359136 Links to an external site. Kowalski's 1979 "Algorithm = Logic + Control". You response document should only comment on Clingo paper, however.