Login / Signup

TALplanner: A temporal logic based forward chaining planner.

Jonas KvarnströmPatrick Doherty
Published in: Ann. Math. Artif. Intell. (2000)
Keyphrases
  • forward chaining
  • backward chaining
  • planning systems
  • defeasible logic
  • blocks world
  • temporal constraints
  • temporal reasoning
  • theorem proving
  • orders of magnitude
  • knowledge representation