Jonas Kvarnström, Patrick Doherty. TALplanner: A temporal logic based forward chaining planner. Annals of Mathematics and Artificial Intelligence, 30(1-4):119-169, 2000.
@article{KvarnstromD00,
title = {TALplanner: A temporal logic based forward chaining planner},
author = {Jonas Kvarnström and Patrick Doherty},
year = {2000},
tags = {rule-based, logic},
researchr = {https://researchr.org/publication/KvarnstromD00},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {30},
number = {1-4},
pages = {119-169},
}