TALplanner: A temporal logic based forward chaining planner
From MaRDI portal
Publication:1601878
DOI10.1023/A:1016619613658zbMath1002.68158OpenAlexW1496114564MaRDI QIDQ1601878
Jonas Kvarnström, Patrick Doherty
Publication date: 27 June 2002
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1016619613658
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)
Related Items (16)
Bounded situation calculus action theories ⋮ Managing concurrency in temporal planning using planner-scheduler interaction ⋮ Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners ⋮ Task decomposition on abstract states, for planning under nondeterminism ⋮ A compiler for MSVL and its applications ⋮ A temporal logic programming approach to planning ⋮ Specifying and computing preferred plans ⋮ John McCarthy's legacy ⋮ Non-Markovian control in the Situation Calculus ⋮ Blocks World revisited ⋮ Plan-Coordination Mechanisms and the Price of Autonomy ⋮ A paraconsistent approach to actions in informationally complex environments ⋮ Automated planning as an early verification tool for distributed control ⋮ Nonmonotonic causal theories ⋮ Elaboration tolerance through object-orientation ⋮ Heuristic planning: A declarative approach based on strategies for action selection
This page was built for publication: TALplanner: A temporal logic based forward chaining planner