• CGAL

  • Referenced in 370 articles [sw00118]
  • modeling, geographic information systems, molecular biology, medical imaging, robotics and motion planning, mesh generation, numerical...
  • Jason

  • Referenced in 62 articles [sw06187]
  • enables users to build complex multi-agent systems that are capable of operating in environments ... suitable for the implementation of reactive planning systems according to the Belief-Desire-Intention...
  • SHOP2

  • Referenced in 27 articles [sw17940]
  • SHOP2: An HTN planning system. The SHOP2 planning system received one of the awards...
  • CCalc

  • Referenced in 76 articles [sw09899]
  • actions (University of Texas, 1997). Now the system is being maintained by Texas Action Group ... CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona State University, processes...
  • 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...
  • Graphs

  • Referenced in 106 articles [sw12277]
  • engineers construct fast route planning methods; database and information systems researchers investigate materialization tradeoffs, query...
  • AETG

  • Referenced in 61 articles [sw09715]
  • unit, system, and interoperability testing. It has generated both high-level test plans and detailed...
  • DYNAMO

  • Referenced in 252 articles [sw01227]
  • accompanying graphical notation developed within the system dynamics analytical framework. It was originally for industrial ... resource studies[1][2] and urban planning.[3][4] DYNAMO was initially developed under ... Dynamo II/F and Dynamo III improved the system’s portability by being written in FORTRAN...
  • CERR

  • Referenced in 19 articles [sw07857]
  • variety of commercial or academic treatment planning systems (including both the RTOG format and DICOM ... creation of multi-institutional treatment plan databases for various types of research studies, including dose...
  • FODD-Planner

  • Referenced in 14 articles [sw07747]
  • Incorporating these, the paper presents a planning system, FODD-Planner, for solving relational stochastic planning ... recent international planning competition, and shows competitive performance with top ranking systems. This ... representation is a promising approach to stochastic planning...
  • MESSEGE III

  • Referenced in 13 articles [sw20986]
  • medium- to long-term energy system planning, energy policy analysis, and scenario development (Messner ... provides a framework for representing an energy system with all its interdependencies from resource extraction...
  • LPG

  • Referenced in 12 articles [sw20690]
  • numerical quantities and durations. The system can solve both plan generation and plan adaptation problems ... mutex relations of the planning graph. The system can produce good quality plans in terms ... anytime process producing a sequence of plans, each of which is an improvement ... used by FF. The system can automatically switch to best-first search after a certain...
  • PlanMine

  • Referenced in 9 articles [sw01592]
  • fully integrated into two real-world planning systems. We experimentally evaluate the rules discovered ... extremely useful for understanding and improving plans, as well as for building monitors that raise...
  • AltAlt

  • Referenced in 7 articles [sw20691]
  • AltAlt system is a domain-independent planner based on a combination of Graphplan and heuristic ... AltAlt competed in the last international planning competition (AIPS-2000). Although that version ... state of the art planning systems, STAN a Graphplan-style planner ... search planner. Basically, AltAlt uses Graphplan’s planning graph data structure to derive a family...
  • RESUME

  • Referenced in 14 articles [sw36118]
  • Abstraction System for Patient Monitoring. data. The temporal-abstraction task is crucial for planning treatment ... problems, and for revising treatment plans. The RÉSUMÉ system is based on a model...
  • DISPRO

  • Referenced in 7 articles [sw14791]
  • VEKTOR-1, the Z-system [58], and TsP [31] application packages. In addition, some packages ... operations research (DISPLAN, an interactive planning system [60]; PTP, optimization of transportation problems...
  • MPTP

  • Referenced in 24 articles [sw02489]
  • this kind of system, their solutions, current limitations, and planned future extensions. We present results...
  • Tecton

  • Referenced in 9 articles [sw28905]
  • decision procedure. Further development of the system is planned as part of an overall framework...
  • ROTOR

  • Referenced in 6 articles [sw11955]
  • improvement of organic farming systems requires agronomic planning tools to enhance economic performance. Crop rotation ... planning plays a crucial role in organic arable farming systems due to the renunciation ... agronomically sustainable crop rotations for organic farming systems in central Europe. The resulting static rule ... support the complex crop rotation planning in organic farming systems requiring rotations with overlapping undersown...
  • GenStat

  • Referenced in 73 articles [sw10667]
  • ease of use via our comprehensive menu system reinforced with the flexibility of a sophisticated ... less experienced users through the well planned menu and diagnostic messaging (not to mention...