TALplanner: A temporal logic based forward chaining planner

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

zbMATH Keywords

knowledge representationplanningtemporal logicsaction and change

Mathematics Subject Classification ID

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