• 2CoBel

  • Referenced in 2 articles [sw28236]
  • cardinality of the discernment frame. For belief combination, canonical decomposition and decision making, we propose ... from the scalability of the 2D search space granularity provided by our representation...
  • SUCRAGE

  • Referenced in 3 articles [sw12332]
  • Production rules whose conclusions are accompanied by belief degrees, are obtained by supervised learning from ... conjunction. On the other hand, the feature space partition allows a fuzzy representation ... uncertainty of classification decisions represented by belief degrees, drives the approximate inference.par The proposed method...
  • BDI-POMDP

  • Referenced in 6 articles [sw03092]
  • implementations can be characterized as following the “belief-desire-intention” (BDI) paradigm, with explicit representation ... team plans to significantly prune the search space of role allocations. Our third key contribution...
  • AutoOD

  • Referenced in 1 article [sw41887]
  • neural network model within a predefined search space. Specifically, we firstly design a curiosity-guided ... information gain about the controller’s internal belief. We further introduce an experience replay mechanism...
  • BARON

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

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

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

  • Referenced in 1713 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Matlab

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

  • Referenced in 315 articles [sw00563]
  • R package mclust: Normal Mixture Modeling for Model...
  • R

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

  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • PRISM

  • Referenced in 454 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • L-BFGS-B

  • Referenced in 200 articles [sw01234]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • PSATO

  • Referenced in 43 articles [sw02635]
  • PSATO: a Distributed/parallel Prover for propositional satisfiability (SAT...
  • CONOPT

  • Referenced in 171 articles [sw02791]
  • CONOPT is a generalized reduced-gradient (GRG) algorithm...
  • ELECTRE

  • Referenced in 130 articles [sw02971]
  • Electre Methods. Over the last three decades a...
  • L-BFGS

  • Referenced in 852 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...