Title of article
Answer set programming and plan generation Original Research Article
Author/Authors
Vladimir Lifschitz، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
16
From page
39
To page
54
Abstract
The idea of answer set programming is to represent a given computational problem by a logic program whose answer sets correspond to solutions, and then use an answer set solver, such as smodels or dlv, to find an answer set for this program. Applications of this method to planning are related to the line of research on the frame problem that started with the invention of formal nonmonotonic reasoning in 1980.
Keywords
Logic programming , Frame problem , Planning , Answer sets , Default logic
Journal title
Artificial Intelligence
Serial Year
2002
Journal title
Artificial Intelligence
Record number
1207125
Link To Document