149 search results - page 15 / 30 » Encoding Planning Problems in Nonmonotonic Logic Programs |
118
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
139
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
One of the major advances in classical planning has been the development of Graphplan. Graphplan builds a layered structure called the planning graph, and then searches this struc...
110
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
152
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: The protein structure prediction problem is one of the most challenging problems in biological sciences. Many approaches have been proposed using database information ...
124
click to vote
IJCAI
1993
15 years 3 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...