History
The planning method proposed by Dimopoulos, Nebel and Köhler is an early example of answer set programming. Their approach is based on the relationship between plans and stable models. Soininen and Niemelä applied what is now known as answer set programming to the problem of product configuration. The use of answer set solvers for search was identified as a new programming paradigm by Marek and Truszczyński in a paper that appeared in a 25-year perspective on the logic programming paradigm published in 1999 and in . Indeed, the new terminology of "answer set" instead of "stable model" was first proposed by Lifschitz in a paper appearing in the same retrospective volume as the Marek-Truszczynski paper.
Read more about this topic: Answer Set Programming
Famous quotes containing the word history:
“The history of all countries shows that the working class exclusively by its own effort is able to develop only trade-union consciousness.”
—Vladimir Ilyich Lenin (18701924)
“In history as in human life, regret does not bring back a lost moment and a thousand years will not recover something lost in a single hour.”
—Stefan Zweig (18811942)
“There is nothing truer than myth: history, in its attempt to realize myth, distorts it, stops halfway; when history claims to have succeeded this is nothing but humbug and mystification. Everything we dream is realizable. Reality does not have to be: it is simply what it is.”
—Eugène Ionesco (b. 1912)