• NP-SPEC

  • Referenced in 20 articles [sw02243]
  • problems in NP. A logic-based specification language, called NP-SPEC, is presented. The language...
  • ReSpecT

  • Referenced in 21 articles [sw40246]
  • ReSpecT (Reaction Specification Tuples) is a logic-based coordination language enabling tuple space programming...
  • 2P-Kt

  • Referenced in 1 article [sw40239]
  • logic-based technologies are either built on top or as extensions of the Prolog language ... mostly working as monolithic solutions tailored upon specific inference procedures, unification mechanisms, or knowledge representation ... techniques. Instead, to maximise their impact, logic-based technologies should support and enable the general...
  • MATLANG

  • Referenced in 5 articles [sw39112]
  • means of linear algebra. Similarly, logic-based graph query languages are commonly used to explore ... linear algebra as a graph query language. More specifically, we consider MATLANG, a matrix query...
  • MulVAL

  • Referenced in 8 articles [sw17743]
  • MulVAL: A Logic-based Network Security Analyzer. To determine the security impact software vulnerabilities have ... able to automatically integrate formal vulnerability specifications from the bug-reporting community. Second, the analysis ... network. MulVAL adopts Datalog as the modeling language for the elements in the analysis...
  • Cellnoptr

  • Referenced in 5 articles [sw15114]
  • creating logic-based models of signal transduction networks using different logic formalisms (Boolean, Fuzzy ... specific models. CellNOpt is freely available under GPL license in R and Matlab languages...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • complete, logic-based characterization of XML data and the main language concept for XML, XPath ... Logic extends the XPath language with variable bindings and embeds it into first-order logic ... fragment of XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating ... XPath-Logic serves as the base of XPathLog as a logic-programming language, whereas also...
  • CellNOpt

  • Referenced in 2 articles [sw19834]
  • creating logic-based models of signal transduction networks using different logic formalisms (Boolean, Fuzzy ... specific models. CellNOpt is freely available under GPL license in R and Matlab languages...
  • Mathematica

  • Referenced in 6337 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • ML

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

  • Referenced in 49 articles [sw01801]
  • ConGolog, a concurrent programming language based on the...
  • GOLOG

  • Referenced in 172 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains...
  • VAMPIRE

  • Referenced in 258 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • KARO

  • Referenced in 22 articles [sw03116]
  • Formalizing potential of agents. The KARO framework revisited...
  • PVS

  • Referenced in 629 articles [sw03484]
  • PVS is a verification system: that is, a...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • ACSL

  • Referenced in 50 articles [sw04216]
  • The Advanced Continuous Simulation Language, or ACSL (pronounced...
  • SLMC

  • Referenced in 74 articles [sw04604]
  • SLMC: A tool for model checking concurrent systems...
  • DLV

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

  • Referenced in 211 articles [sw04766]
  • An algorithmic framework for convex mixed integer nonlinear...