• JSetL

  • Referenced in 7 articles [sw29267]
  • logical binary relations and maps, restricted intensional sets, logical pairs, … Moreover, JSetL can be used...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • TPTP

  • Referenced in 395 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Gringo

  • Referenced in 108 articles [sw04630]
  • This document provides an introduction to the Answer...
  • Smodels

  • Referenced in 239 articles [sw04631]
  • The Smodels system is an Answer Set Programming...
  • MiniZinc

  • Referenced in 85 articles [sw06261]
  • MiniZinc is a medium-level constraint modelling language...
  • ETPS

  • Referenced in 160 articles [sw06302]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • PDDL

  • Referenced in 103 articles [sw07079]
  • Planning Domain Definition Language (PDDL). PDDL2.1: An extension...
  • ProB

  • Referenced in 67 articles [sw07084]
  • ProB: an automated analysis toolset for the B...
  • dReal

  • Referenced in 30 articles [sw07157]
  • dReal: an SMT solver for nonlinear theories over...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Clingcon

  • Referenced in 39 articles [sw09892]
  • Clingcon is a hybrid solver combining the monolithic...