Planners at the University of Washington

						The UCPOP planner handles universal quantification and conditional effects.

						The FABIAN planner plans with abstract actions which it automatically generates.

						The PYRRHUS planner finds optimal plans for goal-directed value functions.

						The ZENO temporal planner handles deadline goals and continuous change.

						The BURIDAN probabilistic planner reasons about uncertanity.

						The CBURIDAN planner extends BURIDAN with sensing actions and contingent execution.

						The XII planner executes sensing actions to handle incomplete information.

						A planner-independent, debugging system: PDB.

						Representations and Algorithms for decision-theoretic planning.

						The Occam planner that is optimized for the task of information gathering.