• 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...