• DLV

  • Referenced in 33 articles [sw04640]
  • DLV is a deductive database system, based on...
  • LIBSVM

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

  • Referenced in 46 articles [sw05197]
  • Trust-region interior-point SQP algorithms for a...
  • SAS

  • Referenced in 1552 articles [sw06377]
  • SAS (Statistical Analysis System) is an integrated system...
  • SATCHMO

  • Referenced in 97 articles [sw06619]
  • SATCHMO: a theorem prover implemented in Prolog. The...
  • ProbLog

  • Referenced in 99 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • clasp

  • Referenced in 103 articles [sw07095]
  • clasp: A conflict-driven answer set solver. clasp...
  • GASP

  • Referenced in 18 articles [sw07096]
  • GASP: Answer set programming with lazy grounding In...
  • GQTPAR

  • Referenced in 325 articles [sw07451]
  • Computing a trust region step We propose an...
  • ASPARTIX

  • Referenced in 18 articles [sw08820]
  • ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming...
  • STeLP

  • Referenced in 10 articles [sw09772]
  • STeLP -- A tool for temporal answer set programming...
  • Clingo

  • Referenced in 102 articles [sw09893]
  • Potassco, the Potsdam Answer Set Solving Collection, bundles...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • Aleph

  • Referenced in 53 articles [sw12108]
  • The Aleph Manual. This document provides reference information...
  • C4.5

  • Referenced in 1162 articles [sw12176]
  • C4.5: programs for machine learning. (C4.5 has been...
  • Pesca

  • Referenced in 160 articles [sw13664]
  • PESCA = Proof Editor for Sequent Calculus: Pesca is...
  • CENPARMI

  • Referenced in 20 articles [sw13804]
  • CENPARMI members continually make training databases available to...