Mathematical software

Graphplan
Referenced in 186 articles [sw07746]
analyzing a compact structure we call a planning graph. We describe a new planner, Graphplan ... Graphplan always returns a shortest possible partial-order plan, or states that no valid plan ... partial-order planner, UCPOP, on a variety of interesting natural and artificial planning problems...

UCPOP
Referenced in 39 articles [sw20687]
Lisp source code for the UCPOP partial order planner, version 4.1, is available via anonymous ... explore and refine a partial plan...

VHPOP
Referenced in 11 articles [sw20688]
partial order planner. VHPOP is a Partial Order Causal Link (POCL) planner loosely based ... flaw selection strategies for POCL planning, and combines this with more recent developments...

PPlan
Referenced in 2 articles [sw20685]
reasoning tasks. The semantics of the first-order preference language is defined using the situation ... calculus formula. The relative preference of alternative plans is represented as a weight, which ... properties. A preference formula provides a partial order on what are effectively temporally extended goals ... first forward-chaining planner that generates a plan that not only achieves a user-defined...

LPG
Referenced in 12 articles [sw20690]
types of inconsistencies in the current partial plan, and are dynamically evaluated during search using ... evaluation function. In temporal domains, actions are ordered using a ”precedence graph” that is maintained...

correlateR
Referenced in 1 article [sw26625]
package correlateR is planned to be a comprehensive resource of functions related to correlations ... inefficient) marginal, partial, semi-partial correlations and covariances of arbitrary conditional order. A good discussion...

AMIKS
Referenced in 2 articles [sw22460]
test calculations on a personal computer in order to select the necessary parameters for task ... analysis of SDE in partial derivatives. Later, the authors plan to continue developing tools...

Graphplan