All Packages
Package Summary
Package
Description
Fundamental elements for defining planning problems and plans.
Tools for compiling planning problems into a representation that enables
more efficient knowledge representation and planning.
Data structures for efficiently determining which events have preconditions
which are satisfied in a given state.
Data structures for representing the state-space of a planning problem as a
finite graph of state nodes linked by temporal and epistemic edges.
Data structures similar to plan graphs that can be used to explore the
structure of and estimate important properties of a problem.
Tools for reading and writing planning problems, plans, and their
components.
Logical expressions and logical operations.
A planner that performs forward (progression) search} through the space of
states.
Models a
forward
search through the space of states as a
tree, meaning no overhead is spent detecting or reusing duplicate states.The parent objects for planners, searches, and the results of searches.
Special-purpose data structures.