Browsing by Subject "Answer set programming"
Now showing items 1-2 of 2
-
Conference Object
Reasoning about actions and change in answer set programming
(Springer Verlag, 2004)This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm. It investigates how increasing the expressiveness ...
-
Article
Towards local search for answer sets
(2002)Answer set programming has emerged as a new important paradigm for declarative problem solving. It relies on algorithms that compute the stable models of a logic program, a problem that is, in the worst-case, intractable. ...