• Graphplan

  • Referenced in 161 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce a new approach to planning in STRIPS ... analyzing a compact structure we call a planning graph. We describe a new planner, Graphplan ... always returns a shortest possible partial-order plan, or states that no valid plan exists.par ... variety of interesting natural and artificial planning problems. We also give empirical evidence that...
  • CGAL

  • Referenced in 231 articles [sw00118]
  • molecular biology, medical imaging, robotics and motion planning, mesh generation, numerical methods... More...
  • Mosek

  • Referenced in 189 articles [sw04618]
  • hospital management, Power supply and network planning, Logistics, TV commercial scheduling, Structural engineering...
  • PDDL

  • Referenced in 67 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension to PDDL for expressing temporal planning domains ... recent years research in the planning community has moved increasingly toward s application of planners ... resources. For example, interest in planning demonstrated by the space res earch community has inspired ... temporal and resource-intensive domains including logistics planning, plant control and manufacturing have also helped...
  • DYNAMO

  • Referenced in 136 articles [sw01227]
  • resource studies[1][2] and urban planning.[3][4] DYNAMO was initially developed under...
  • STAN

  • Referenced in 36 articles [sw03348]
  • domain-independent planner developed within the Strathclyde Planning Group. It has been developed through ... Graphplan, competed in the first international planning competition at AIPS’98 and demonstrated interesting performance ... powerful representational structure for the core plan-graph and using a wave-front mechanism ... search and graph construction costs once the plan-graph structure reaches a stable state. STAN...
  • AETG

  • Referenced in 42 articles [sw09715]
  • generated both high-level test plans and detailed test cases. In several applications, it greatly ... reduced the cost of test plan development...
  • CCalc

  • Referenced in 56 articles [sw09899]
  • programming. Computationally, CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona State...
  • NetLogo

  • Referenced in 51 articles [sw09150]
  • behind our design and describe recent and planned enhancements...
  • Jason

  • Referenced in 49 articles [sw06187]
  • suitable for the implementation of reactive planning systems according to the Belief-Desire-Intention...
  • SOM

  • Referenced in 49 articles [sw07375]
  • flexible as the MATLAB environment. So the plan was to offer a simple, well documented...
  • SPARK

  • Referenced in 44 articles [sw03124]
  • time errors, both as guidance in planning the effort required, and for practical advice...
  • Cohn-Kanade

  • Referenced in 44 articles [sw04974]
  • Lucey et al. (2010). Version 3 is planned for spring 2013. The original data collection...
  • ConGolog

  • Referenced in 42 articles [sw01801]
  • situation calculus As an alternative to planning, an approach to high-level agent control based...
  • Lambda-Clam

  • Referenced in 21 articles [sw19614]
  • LambdaClam ( λclam, lclam) is a proof planning system that support proof planning over higher-order ... domains: System description: Proof planning in higher-order logic with λClam. This system description outlines ... λClam system for proof planning in higher-order logic. The usefulness and feasibility of applying ... higher-order proof planning to a number of types of problem is outlined, in particular...
  • SHOP2

  • Referenced in 20 articles [sw17940]
  • SHOP2: An HTN planning system. The SHOP2 planning system received one of the awards ... distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 ... SHOP2 that deal with temporal and metric planning domains...
  • OpenSSL

  • Referenced in 35 articles [sw09945]
  • volunteers that use the Internet to communicate, plan, and develop the OpenSSL toolkit...
  • UCPOP

  • Referenced in 34 articles [sw20687]
  • explore and refine a partial plan...
  • ITPACK

  • Referenced in 31 articles [sw00459]
  • programs made to date and outlines plans for future work. A summary is given...
  • Prodigy

  • Referenced in 31 articles [sw20686]
  • serves as a basis for research in planning, machine learning, apprentice-type knowledge-refinement interfaces...