Heuristic Guidance for Forward-Chaining Planning with Numeric Uncertainty.
Liana MarinescuAndrew Ian ColesPublished in: ICAPS (2016)
Keyphrases
- forward chaining
- backward chaining
- planning graph
- planning systems
- blocks world
- defeasible logic
- theorem proving
- incomplete information
- heuristic search
- state space
- dynamic programming
- planning problems
- optimal solution
- simulated annealing
- rule base
- beam search
- search algorithm
- explanation based learning
- horn clauses