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

  • 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 NP-hard problems...
  • LIBSVM

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

  • Referenced in 514 articles [sw04887]
  • Z3 is a high-performance 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...
  • CP-logic

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

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