TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.

Patrick Doherty Jonas Kvarnström

Published in: TIME (1999)

Keyphrases

forward chaining
backward chaining
planning systems
defeasible logic
temporal constraints
theorem proving
blocks world
planning graph
search algorithm
action selection
temporal planning
database