• VHPOP

  • Referenced in 10 articles [sw20688]
  • possible by POCL planners. VHPOP also supports planning with durative actions by incorporating standard techniques ... used to boost the performance of classical POCL planning can be effective in domains with...
  • IndiGolog

  • Referenced in 5 articles [sw16792]
  • their environment anddo planning astheyoperate. Insteadof classical planning, it supports high-level program execution...
  • TorchLight

  • Referenced in 4 articles [sw13534]
  • paramount importance for both satisficing and optimal planning. In earlier work, it was observed that ... amazing qualities in many classical planning benchmarks, in particular pertaining to the complete absence...
  • AltAltp

  • Referenced in 2 articles [sw20689]
  • generation of parallel plans in classical planning. The reason is that directly searching for parallel...
  • iThink

  • Referenced in 1 article [sw33221]
  • iThink: A Library for Classical Planning in Video-Games. Academic artificial intelligence (AI) techniques have ... commercial video games. In particular, classical planning methods for specifying a goal-oriented behavior have ... academic techniques for classical planning in order to achieve goal-oriented behavior in a real ... STRIPS, a well-studied framework for classical planning, and Unity3D, a popular game engine that...
  • Graphs

  • Referenced in 106 articles [sw12277]
  • which is the following generalization of the classical single-source (SSSP) and all-pairs shortest ... different names): algorithm engineers construct fast route planning methods; database and information systems researchers investigate...
  • MOAPPS

  • Referenced in 11 articles [sw13459]
  • research community to solve large-scale complex planning and design problems using the modern heuristics ... mainly due to unsuitability of the classical solution techniques in many circumstances. Depending upon ... modelling approach used, aggregate production planning (APP) problems can be quite complex and large scale...
  • Dirac++

  • Referenced in 17 articles [sw37208]
  • calculated with this code. Finally, for planning and comparison purposes, both the time-evolution ... also be treated in an entirely classical relativistic way. Besides the implementation of the above...
  • GAMS Model

  • Referenced in 8 articles [sw21987]
  • sometimes classic problems, ranged from production and shipment by firms, investment planning, cropping patterns...
  • GAID

  • Referenced in 1 article [sw21405]
  • multiagent planning problem. The classical multiple traveling salesmen problem is a well-studied optimization problem ... describe the multiagent planning problem, a variant of the classical multiple traveling salesmen problem: given ... objective is to find the team plan in which the longest subtour is as short...
  • CRAG

  • Referenced in 8 articles [sw06865]
  • objects like words, maps and subgroups. We plan to continually expand the list of group ... will contain classes and routines implementing non-classical heuristic approaches and tools to perform statistical...
  • GenePath

  • Referenced in 3 articles [sw35741]
  • analysis of biological phenomena. In classical genetics, they are constructed manually from experimental data ... large number of possible consequences of planned experiments. It also provides an explanation mechanism that...
  • Control Toolbox

  • Referenced in 1 article [sw36513]
  • Quadratic Regulator, Gauss-Newton Multiple Shooting and classical Direct Multiple Shooting. We provide interfaces ... dynamics control, extended Kalman filters or kinematic planning...
  • Inform

  • Referenced in 1 article [sw35834]
  • measures from time series data. This includes classical information-theoretic measures (e.g. entropy, mutual information ... implementation including details of validation techniques and plans for future development. We present evidence that...
  • CGAL

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

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

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

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

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

  • Referenced in 5220 articles [sw00545]
  • The result of over 30 years of cutting...