
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 highlevel language and interactive...

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. 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...

CPnets
 Referenced in 138 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

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

LBFGS
 Referenced in 805 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...

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

CPlogic
 Referenced in 18 articles
[sw06947]
 CPlogic: 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 subgradient solver for SVM...