
NPSPEC
 Referenced in 20 articles
[sw02243]
 problems in NP. A logicbased specification language, called NPSPEC, is presented. The language...

ReSpecT
 Referenced in 21 articles
[sw40246]
 ReSpecT (Reaction Specification Tuples) is a logicbased coordination language enabling tuple space programming...

2PKt
 Referenced in 1 article
[sw40239]
 logicbased 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, logicbased technologies should support and enable the general...

MATLANG
 Referenced in 5 articles
[sw39112]
 means of linear algebra. Similarly, logicbased 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 Logicbased Network Security Analyzer. To determine the security impact software vulnerabilities have ... able to automatically integrate formal vulnerability specifications from the bugreporting 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 logicbased 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, logicbased characterization of XML data and the main language concept for XML, XPath ... Logic extends the XPath language with variable bindings and embeds it into firstorder logic ... fragment of XPathLogic, providing a Datalogstyle, rulebased language for querying and manipulating ... XPathLogic serves as the base of XPathLog as a logicprogramming language, whereas also...

CellNOpt
 Referenced in 2 articles
[sw19834]
 creating logicbased 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 generalpurpose 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...