• IPC-4

  • Referenced in 10 articles [sw03495]
  • Competition, IPC-4, will include a probabilistic planning track for the first time. This document ... fall. The overriding goal of the probabilistic planning track is to bring together two communities ... environments. The other consists of planning researchers incorporating probabilistic and decision theoretic concepts into their ... Cross fertilization has begun, but the probabilistic planning track promises a set of shared benchmarks...
  • FODD-Planner

  • Referenced in 15 articles [sw07747]
  • Probabilistic relational planning with first order decision diagrams Dynamic programming algorithms have been successfully applied...
  • NMRDPP

  • Referenced in 6 articles [sw10437]
  • experimentation of methods for decision-theoretic planning with non-Markovian rewards. The current version ... special case. In the First International Probabilistic Planning Competition, NMRDPP was able to compete...
  • FluCaP

  • Referenced in 11 articles [sw07748]
  • FCPlanner), that entered the probabilistic track of the 2004 International Planning Competition...
  • PISA

  • Referenced in 1 article [sw20692]
  • based on the compilation to conformant probabilistic planning is much intuitive, its performance appears...
  • pGOLOG

  • Referenced in 3 articles [sw01479]
  • during the on-line execution of a plan. pGOLOG, an extension of the high-level ... programming language GOLOG, allows the specification of probabilistic beliefs about the state of the world...
  • MSL

  • Referenced in 1 article [sw33331]
  • planning algorithms. Presently MSL includes planners based on Rapidly-exploring Random Trees (RRTs), Probabilistic Roadmaps...
  • REBA

  • Referenced in 4 articles [sw29435]
  • inference in the ASP program provides a plan of abstract actions. To implement each such ... zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing...
  • Olympus

  • Referenced in 1 article [sw38804]
  • minimum number of trials. However, the experiment planning strategy that is most suitable ... optimization algorithms against realistic experiments emulated via probabilistic deep-learning models. Olympus includes a collection ... materials science and a suite of experiment planning strategies that can be easily accessed...
  • Valmet

  • Referenced in 9 articles [sw01281]
  • quantitation, for radiotherapy planning, for surgical planning and image-guided intervention, for studying neurodevelopmental ... intersect S)/(R union S), b) probabilistic overlap measure for non-binary segmentations, c) mean/median...
  • Planner for Efficient Dialogues

  • Referenced in 0 articles [sw05786]
  • dialogue management system that uses a probabilistic nested belief model to choose dialogue strategies ... designer need only supply a set of plan rules to PED as a dialogue grammar ... model. PED is efficient because it uses probabilistic estimates of belief rather than a plain...
  • Open TURNS

  • Referenced in 4 articles [sw12837]
  • software platform dedicated to uncertainty propagation by probabilistic methods, named OpenTURNS for Open source Treatment ... gives an overview of the main developments planned for the next few years...
  • Bambi

  • Referenced in 2 articles [sw36562]
  • built on top of the PyMC3 probabilistic programming framework and the ArviZ package for exploratory ... conclude with a discussion of our plans for the future development of Bambi...
  • MCDB

  • Referenced in 1 article [sw12046]
  • data. To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level ... novel query processing techniques, executing a query plan exactly once, but over ”tuple bundles” instead...
  • BARON

  • Referenced in 361 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

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

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

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

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

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