Results 1 to 20 of 32
Sort by:

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