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

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

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

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