Get our free extension to see links to code for papers anywhere online!Free add-on: code for papers everywhere!Free add-on: See code for papers anywhere!
Abstract:We discuss the evolution of aspects of nonmonotonic reasoning towards the computational paradigm of answer-set programming (ASP). We give a general overview of the roots of ASP and follow up with the personal perspective on research developments that helped verbalize the main principles of ASP and differentiated it from the classical logic programming.
* In G. Brewka, V.M. Marek, and M. Truszczynski, eds. Nonmonotonic
Reasoning -- Essays Celebrating its 30th Anniversary, College Publications,
2011 (a volume of papers presented at NonMon at 30 meeting, Lexington, KY,
USA, October 2010)