
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 1784 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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

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

Yices
 Referenced in 138 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 140 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 461 articles
[sw04723]
 Knapsack problems are the simplest NPhard problems...

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

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

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

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

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

ProbLog
 Referenced in 82 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...