TALplanner: A temporal logic based forward chaining planner

• 1 January 2000
• journal article
• Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
• Vol. 30  (1/4) , 119-169
• https://doi.org/10.1023/a:1016619613658

Abstract

Keywords

• FORMULAS
• NARRATIVE
• LOGIC
• TEMPORAL
• FORWARD CHAINING
• TALPLANNER