• 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...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GeM

  • Referenced in 97 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...