• CCalc

  • Referenced in 79 articles [sw09899]
  • fragment of the causal logic described in the paper ”Nonmonotonic causal theories” by Enrico Giunchiglia ... part of Norman McCain’s dissertation, Causality in commonsense reasoning about actions (University of Texas ... language of CCalc is related to default logic and logic programming. Computationally, CCalc uses ideas...
  • 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...
  • SOLAR

  • Referenced in 20 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first...
  • CP-nets

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

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

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

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

  • Referenced in 71 articles [sw04435]
  • Cmodels is a system that computes answer sets...
  • SATO

  • Referenced in 196 articles [sw04451]
  • SATO: A Solver for Propositional Satisfiability: The Davis...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • LIBSVM

  • Referenced in 1184 articles [sw04879]
  • LIBSVM is a library for Support Vector Machines...
  • SAS

  • Referenced in 1552 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • CP-logic

  • Referenced in 18 articles [sw06947]
  • CP-logic: A language of causal probabilistic events...
  • Potassco

  • Referenced in 80 articles [sw06996]
  • Potassco: the Potsdam answer set solving collection. This...
  • Graphplan

  • Referenced in 186 articles [sw07746]
  • Fast planning through planning graph analysis. We introduce...
  • BUGS

  • Referenced in 378 articles [sw07885]
  • The BUGS (Bayesian inference Using Gibbs Sampling) project...
  • Pegasos

  • Referenced in 103 articles [sw08752]
  • Pegasos: primal estimated sub-gradient solver for SVM...