Browsing by Subject "Declarative problem solving"
Now showing items 1-2 of 2
-
Conference Object
A-system: Problem solving through abduction
(2001)This paper presents a new system, called the A-System, performing abductive reasoning within the framework of Abductive Logic Programming. It is based on a hybrid computational model that implements the abductive search ...
-
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. ...