5216 search results - page 327 / 1044 » Planning as Model Checking |
159
click to vote
ECP
1997
Springer
15 years 9 months ago
1997
Springer
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
115
click to vote
AIPS
1996
15 years 6 months ago
1996
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
126
click to vote
AIPS
2009
15 years 6 months ago
2009
In this paper a planning framework based on Ant Colony Optimization techniques is presented. It is well known that finding optimal solutions to planning problems is a very hard co...
137
Voted
IEAAIE
2003
Springer
15 years 10 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
134
click to vote
FLAIRS
2001
15 years 6 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...