Publications of J. Kvarnström
2000
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 ,