Publications of P. Doherty sorted by recency
TALplanner: A temporal logic based forward chaining planner (2000), in: Ann. Math. Artif. Intell., 30:1-4(119-169) | and ,
TALplanner: A temporal logic based forward chaining planner (2000), in: Ann. Math. Artif. Intell., 30:1-4(119-169) | and ,