Backward-Chaining Flexible Planning.

Li Xu Wen-Xiang Gu Xin-mei Zhang

Published in: ICMLC (2005)

Keyphrases

backward chaining
forward chaining
planning systems
blocks world
expert systems
defeasible logic
rule based systems
knowledge base
inference engine
action selection
planning graph
artificial intelligence
planning problems
theorem proving
horn clauses
depth first search