
PITA
 Referenced in 19 articles
[sw06950]
 independent choice logic, logic programs with annotated disjunctions (LPADs), Problog, PRISM, and others. These languages ... methods have been devised to translate programs between these languages. The complexity of computing ... probability of queries to these general PLP programs is very high due to the need ... form of programs it can evaluate. As an entirely different alternative, possibilistic logic programs adopt...

Coq
 Referenced in 1828 articles
[sw00161]
 Coq is a formal proof management system. It...

MapReduce
 Referenced in 253 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

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

UCIml
 Referenced in 3127 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...

Yices
 Referenced in 141 articles
[sw04436]
 Yices is an efficient SMT solver that decides...

JML
 Referenced in 188 articles
[sw04597]
 The Java Modeling Language (JML) is a behavioral...

Isar
 Referenced in 144 articles
[sw04599]
 Theorem proving system supporting both interactive proof development...

Smodels
 Referenced in 238 articles
[sw04631]
 The Smodels system is an Answer Set Programming...

Knapsack
 Referenced in 469 articles
[sw04723]
 Knapsack problems are the simplest NPhard problems...

LIBSVM
 Referenced in 1114 articles
[sw04879]
 LIBSVM is a library for Support Vector Machines...

z3
 Referenced in 514 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

MONA
 Referenced in 127 articles
[sw06170]
 MONA implementation secrets. The MONA tool provides an...

WEKA
 Referenced in 292 articles
[sw06435]
 WEKA: Waikato Environment for Knowledge Analysis. WEKA is...

Chaff
 Referenced in 573 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...

ProbLog
 Referenced in 83 articles
[sw06945]
 ProbLog is a probabilistic logic programming language based...

CPlogic
 Referenced in 17 articles
[sw06947]
 CPlogic: A language of causal probabilistic events...

YAPProlog
 Referenced in 44 articles
[sw06948]
 The YAP prolog system. Yet another Prolog (YAP...

Pellet
 Referenced in 92 articles
[sw07019]
 Pellet: OWL 2 Reasoner for Java. For applications...