Browsing by Subject "Nonmonotonic logic programs"
Now showing items 1-1 of 1
-
Article
Encoding planning problems in nonmonotonic logic programs
(1997)We present a framework for encoding planning problems in logic programs with negation as failure, having computational efficiency as our major consideration. In order to accomplish our goal, we bring together ideas from ...