810 search results - page 16 / 162 » Solving Time-Dependent Planning Problems |
IJCAI
2003
13 years 10 months ago
2003
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...
AAAI
2000
13 years 10 months ago
2000
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...
JOT
2006
13 years 9 months ago
2006
A plan is a blueprint for solving a problem. It summarizes the decisions that have been made during the planning of that solution. In this month's issue of Strategic Software...
KR
1998
Springer
14 years 1 months ago
1998
Springer
The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the p...
AIPS
2006
13 years 10 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...