Planning Diagonalization Proofs.

Lassaad Cheikhrouhou Jörg H. Siekmann

Published in: AIMSA (1998)

Keyphrases

heuristic search
planning problems
motion planning
mixed initiative
stochastic domains
real time
genetic algorithm
logic programs
planning process
mission planning