Results 1 to 20 of 61
Sort by:

  • DARR
  • Referenced in 1 article [sw25431]
  • represent an important class of the nonmonotonic formalism. Using simple by powerful inference rules, called ... dots”, and thus formalize the default reasoning, a special type of nonmonotonic reasoning. In this...

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

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

  • QEPCAD
  • Referenced in 283 articles [sw00752]
  • QEPCAD B: A program for computing with semi...

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

  • rbMIT
  • Referenced in 144 articles [sw00784]
  • The rbMIT © MIT Software package implements in Matlab...

  • AUTO
  • Referenced in 942 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...

  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...

  • PERL
  • Referenced in 270 articles [sw01225]
  • Programming Perl. Perl is a language for easily...

  • CP-nets
  • Referenced in 138 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...

  • ConGolog
  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...

  • AFRA
  • Referenced in 29 articles [sw02090]
  • AFRA: argumentation framework with recursive attacks. The issue...

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

  • ASSAT
  • Referenced in 175 articles [sw02524]
  • ASSAT (Answer Sets by SAT solvers) is a...

  • SDPA
  • Referenced in 184 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...

  • AMPL
  • Referenced in 617 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...

  • SDPT3
  • Referenced in 697 articles [sw04009]
  • This software is designed to solve conic programming...

  • UCI-ml
  • Referenced in 3379 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...

  • RODAS
  • Referenced in 1695 articles [sw04112]
  • Rosenbrock method of order 4(3), for problems...

  • CONTACT
  • Referenced in 128 articles [sw04141]
  • CONTACT Vollebregt & Kalker’s rolling and sliding contact...