• SHOP2

  • Referenced in 27 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...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • programs made to date and outlines plans for future work. A summary is given...
  • Lambda-Clam

  • Referenced in 24 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...
  • IsaPlanner

  • Referenced in 30 articles [sw02047]
  • IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle ... that allows you to interact the proof planning attempt. (see the screenshot of IsaPlanner being...
  • UCPOP

  • Referenced in 39 articles [sw20687]
  • explore and refine a partial plan...
  • POMDPS

  • Referenced in 38 articles [sw03055]
  • Online planning algorithms for POMDPS. Partially Observable Markov Decision Processes (POMDPs) provide a rich framework...
  • SAS/ETS

  • Referenced in 38 articles [sw24826]
  • understand those factors and improve your strategic planning...
  • GasLib

  • Referenced in 27 articles [sw17977]
  • German gas market poses novel and difficult planning problems for gas transmission network operators. They ... hardly be verified with existing simulation-based planning methods. This observation led to the implementation...
  • SINTEF

  • Referenced in 37 articles [sw02984]
  • library for solving problems in transportation planning, for instance dynamic fleet management. It is based...
  • ORBIT

  • Referenced in 37 articles [sw20552]
  • optimization of a PDE-based bioremediation plan, are also encouraging and support ORBIT’s effectiveness...
  • Prodigy

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

  • Referenced in 22 articles [sw13389]
  • Advanced Planning and Optimization (SAP APO) provides a fully integrated range of functions that ... require for planning and executing your logistic processes. SAP APO supports the following: Intercompany interaction ... strategic, tactical, and operative planning level; Collaboration with logistic partners from order receipt through stock...
  • CERR

  • Referenced in 19 articles [sw07857]
  • sharing research results in radiation therapy treatment planning. CERR is written in the widely-used ... tools. CERR will import and display treatment plans from a wide variety of commercial ... academic treatment planning systems (including both the RTOG format and DICOM-RT format). CERR provides ... creation of multi-institutional treatment plan databases for various types of research studies, including dose...
  • 2APL

  • Referenced in 23 articles [sw06573]
  • declarative beliefs and goals with events and plans. It also provides practical programming constructs ... repair, and (different modes of) execution of plans based on beliefs, goals, and events...
  • OMEGA

  • Referenced in 32 articles [sw19623]
  • higher-order logic based on proof planning...
  • PARPAP

  • Referenced in 32 articles [sw30926]
  • problem is to find a feasible working plan for all nurses that has to respect...
  • KQML

  • Referenced in 31 articles [sw29718]
  • concurrent engineering, intelligent design and intelligent planning and scheduling...
  • SONET

  • Referenced in 22 articles [sw10644]
  • makes these survivable designs cost-effective when planned carefully. The SONET Toolkit reads in data ... services. It can also incorporate planning constraints. It produces an economic mix of SONET self...
  • Volcano

  • Referenced in 22 articles [sw30956]
  • includes two novel meta-operators. The choose-plan meta-operator supports dynamic query evaluation plans...
  • FODD-Planner

  • Referenced in 15 articles [sw07747]
  • Probabilistic relational planning with first order decision diagrams Dynamic programming algorithms have been successfully applied ... propositional stochastic planning problems by using compact representations, in particular algebraic decision diagrams, to capture ... approximation. Incorporating these, the paper presents a planning system, FODD-Planner, for solving relational stochastic ... planning problems. The system is evaluated on several domains, including problems from the recent international...