• RORS

  • Referenced in 0 articles [sw14974]
  • deductive closure of an ontology by applying RDF/RDFS and OWL entailment rules. The performance...
  • WordNet

  • Referenced in 410 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • SMT-LIB

  • Referenced in 196 articles [sw04103]
  • SMT-LIB was created with the expectation that...
  • JML

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

  • Referenced in 104 articles [sw05357]
  • Possibly not closed convex polyhedra and the Parma...
  • HOL

  • Referenced in 594 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • MONA

  • Referenced in 135 articles [sw06170]
  • MONA implementation secrets. The MONA tool provides an...
  • JBool

  • Referenced in 123 articles [sw06185]
  • This software promotes some general and useful tools...
  • Z

  • Referenced in 286 articles [sw10291]
  • Using Z. Specification, refinement, and proof. The book...
  • C4.5

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

  • Referenced in 61 articles [sw13702]
  • The Octagon Abstract Domain Library is a free...
  • ASTREE

  • Referenced in 115 articles [sw13704]
  • The ASTREÉ Analyzer. ASTRÉE is an abstract interpretation...
  • PreDeLo

  • Referenced in 3 articles [sw13719]
  • PreDeLo 1.0: a theorem prover for preferential description...
  • Keras

  • Referenced in 210 articles [sw15491]
  • Keras: Deep Learning library for Theano and TensorFlow...
  • Datalog

  • Referenced in 293 articles [sw20023]
  • Datalog is a declarative logic programming language that...
  • PyTorch

  • Referenced in 440 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks...
  • Adam

  • Referenced in 948 articles [sw22205]
  • Adam: A Method for Stochastic Optimization. We introduce...
  • GitHub

  • Referenced in 2760 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • Zapato

  • Referenced in 11 articles [sw25425]
  • zapato: Automatic theorem proving for predicate abstraction refinement...