A New Local-Search Algorithm for Forward-Chaining Planning.

Andrew Coles Maria Fox Amanda Smith

Published in: ICAPS (2007)

Keyphrases

forward chaining
search algorithm
backward chaining
planning systems
blocks world
heuristic search
search space
planning graph
defeasible logic
planning problems
theorem proving
ai planning
search methods
horn clauses
planning domains
branch and bound
fuzzy logic
dynamic programming