• FPROLOG

  • Referenced in 14 articles [sw18491]
  • research is its failure of manipulating uncertain reasoning. The authors propose the elimination of this...
  • BRMaximin

  • Referenced in 4 articles [sw38759]
  • estimated parameter describing the average number of reasoning steps players utilize. If an arbitrary player ... arbitrary player who is uncertain of opponents’ reasoning ability. Assuming such a player is confronting...
  • FINDS

  • Referenced in 1 article [sw19034]
  • assessment and assessment involves uncertain reasoning through a Bayesian network for fibre transfer, persistence...
  • HySpirit

  • Referenced in 4 articles [sw20096]
  • models retrieval as uncertain inference, for which we use probabilistic reasoning. Since the expressiveness...
  • pGOLOG

  • Referenced in 3 articles [sw01479]
  • robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with ... high-level plans, can be extended to reason about the way the robot’s beliefs ... representation of sensors and effectors which have uncertain, probabilistic outcomes. As an application of belief...
  • Statool

  • Referenced in 9 articles [sw00914]
  • RAMAS Risk Calc 4.0: Risk Assessment with Uncertain Numbers, Lewis Press, boca Raton, Florida ... Williamson} and {\itT. Downs}, Int. J. Approx. Reasoning 4, 89--158 (1990; Zbl 0703.65100)] based...
  • StarFLIP

  • Referenced in 3 articles [sw04739]
  • library to solve combinatorial problems with approximate reasoning Real world combinatorial optimization problems such ... different importance, the available data may be uncertain, and compromises between antagonistic criteria ... necessary. We present a combination of approximate reasoning based constraints and iterative optimization based heuristics...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • difficult to capture incomplete, partial or uncertain knowledge when using ontologies to conceptualize an application ... ontology language OWL5 for representing and reasoning with uncertainty based on Bayesian networks...
  • F--MP

  • Referenced in 2 articles [sw02169]
  • handling uncertain knowledge. It is the drawback that the style of their fuzzy reasoning process...
  • HySon

  • Referenced in 1 article [sw20161]
  • widely used model to represent and reason about control-command systems. In an industrial context ... based simulation of hybrid systems with uncertain parameters, expressed in Simulink. Our tool handles advanced...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Maple

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

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • PSPLIB

  • Referenced in 269 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SCIP

  • Referenced in 542 articles [sw01091]
  • SCIP is currently one of the fastest non...