Planning with Resources and Concurrency: A Forward Chaining Approach.

Fahiem Bacchus Michael Ady

Published in: IJCAI (2001)

Keyphrases

forward chaining
backward chaining
blocks world
planning systems
defeasible logic
horn clauses
orders of magnitude
theorem proving
planning problems
planning graph
expert systems
explanation based learning