Sciweavers

573 search results - page 6 / 115
» Planning as Satisfiability with Preferences
Sort
View
AAAI
1998
13 years 9 months ago
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability
Enrico Giunchiglia, Alessandro Massarotto, Roberto...
FSR
2007
Springer
135views Robotics» more  FSR 2007»
14 years 1 months ago
State Space Sampling of Feasible Motions for High Performance Mobile Robot Navigation in Highly Constrained Environments
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...
Thomas M. Howard, Colin J. Green, Alonzo Kelly
KR
1998
Springer
13 years 12 months ago
A Planning Algorithm not based on Directional Search
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...
Jussi Rintanen
CSCLP
2007
Springer
14 years 1 months ago
A Global Filtration for Satisfying Goals in Mutual Exclusion Networks
We formulate a problem of goal satisfaction in mutex networks in this paper. The proposed problem is motivated by problems that arise in concurrent planning. For more efficient sol...
Pavel Surynek