Sciweavers

1302 search results - page 14 / 261
» Deductive Plan Generation
Sort
View
EVOW
2010
Springer
14 years 2 months ago
Evolutionary Algorithm for Generation of Entertaining Shinro Logic Puzzles
A Shinro puzzle is a type of deductive reasoning puzzle that originated in Japanese periodicals. To solve the puzzle, one must locate twelve hidden stones on an 8x8 grid using only...
David Oranchak
AIPS
1998
13 years 9 months ago
Search Control of Plan Generation in Decision-Theoretic Planners
This paper addresses the search control problemof selecting whichplan to refine next for decision-theoretic planners, a choice point commonto the decision theoretic planners creat...
Richard Goodwin, Reid G. Simmons
AAAI
2004
13 years 9 months ago
Interleaving Temporal Planning and Execution in Robotics Domains
Many autonomous systems such as mobile robots, UAVs or spacecraft, have limited resource capacities and move in dynamic environments. Performing on-board mission planning and exec...
Solange Lemai, Félix Ingrand
AAAI
1998
13 years 9 months ago
Control Strategies in HTN Planning: Theory Versus Practice
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
Dana S. Nau, Stephen J. J. Smith, Kutluhan Erol
AIPS
2006
13 years 9 months ago
Safe LTL Assumption-Based Planning
Planning for partially observable, nondeterministic domains is a very signi cant and computationally hard problem. Often, reasonable assumptions can be drawn over expected/nominal...
Alexandre Albore, Piergiorgio Bertoli