• QuteRTL

  • Referenced in 2 articles [sw12872]
  • gate-level netlist, and link to logic synthesis/ optimization tools (e.g. Berkeley ABC). We have...
  • Spartacus

  • Referenced in 15 articles [sw12426]
  • tableau prover for hybrid multimodal logic with global modalities and reflexive and transitive relations. Spartacus ... competitive performance, Spartacus implements a number of optimization techniques, including a new technique that ... lazy branching for the basic modal logic K and observe high effectiveness of both techniques...
  • PAGODA

  • Referenced in 14 articles [sw08569]
  • Bistarelli, Montanari and Rossi in rewriting logic. As a case study we present an application ... radio networks. We model the problem of “optimal” parameter assignments for software-defined radios ... implement the solution in our prototypical rewriting logic framework for soft constraints, and embed...
  • FLORA

  • Referenced in 11 articles [sw13880]
  • irnplemented by translation into XSB, a tabling logic engine that is known for its efficiency ... equivalent of the Magic Sets style optimization, the well-founded semantics for negation, and many ... needed. We then describe our solutions and optimization techniques that address these problems and make ... other known DOOD systems based on F-logic...
  • SNPmaxsel

  • Referenced in 3 articles [sw10515]
  • subset of SNPs when the logic expression is chosen optimally. In this article, we propose ... this result can be used for testing logic expressions -- in particular SNP-SNP interaction patterns...
  • PITA

  • Referenced in 22 articles [sw06950]
  • also efficiently support restricted PLP and possibilistic logic programs. PITA relies on tabling with answer ... supports the restricted PLP of PRISM, including optimizations that reduce non-discriminating arguments ... PITA(POSS) which scalably implements possibilistic logic programming. PITA is a supported package in version...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • foxPSL}, a fast, optimized and extended implementation of Probabilistic Soft Logic (PSL) based ... seen as both a probabilistic logic and a template language for hinge-loss Markov Random ... discrete optimization problem for standard MRFs. From the logical perspective, a key feature ... Alternating Direction Method of Multipliers (ADMM) consensus optimization. It provides a Domain Specific Language that...
  • RacerPro

  • Referenced in 6 articles [sw17663]
  • backbone of RacerPro is a description logic reasoner. It provides inference services for terminological knowledge ... optimization techniques and techniques that have been developed in the research field of description logics...
  • LTSmin

  • Referenced in 21 articles [sw07214]
  • modules. Finally, all tools benefit from PINS2PINS optimizations, like local transition caching (which speeds ... algorithms), partial order reduction and linear temporal logic...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • TaLiRo: A tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab ... randomized testing based on stochastic optimization techniques including Monte-Carlo methods and Ant-Colony Optimization...
  • fCube

  • Referenced in 9 articles [sw11383]
  • fCube, a theorem prover for intuitionistic propositional logic based on a tableau calculus. The main ... fCube is that it implements several optimization techniques that allow to prune the search space...
  • Tweety

  • Referenced in 9 articles [sw22090]
  • such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries ... utility libraries that deal with e.g. mathematical optimization complement the collection...
  • azove

  • Referenced in 13 articles [sw04634]
  • enumerate the feasible solutions and find an optimal solution according to a given linear objective ... very popular and effective datastructure in computational logics and hardware verification. par We present ... chosen variable ordering. Finding the optimal variable ordering is an NP-hard problem. We derive...
  • ORL

  • Referenced in 8 articles [sw28404]
  • Learning customized and optimized lists of rules with mathematical programming. We introduce a mathematical programming ... type of interpretable, nonlinear, and logical machine learning classifier involving IF-THEN rules. Unlike traditional ... pruning. Instead, it aims to fully optimize a combination of accuracy and sparsity, obeying user...
  • TinyGarble

  • Referenced in 3 articles [sw41619]
  • methodology based on powerful logic synthesis techniques for generating and optimizing compressed Boolean circuits used...
  • PRISM-games

  • Referenced in 21 articles [sw12934]
  • using rPATL, which extends the well-known logic ATL with operators to reason about probabilities ... games, as well as functionality to synthesise optimal player strategies, explore or export them...
  • UnQL

  • Referenced in 10 articles [sw20018]
  • used as the basis of an optimization method for mediator systems. Several other formal properties ... recursion can be expressed in first-order logic extended with transitive closure; its data complexity...
  • EVC

  • Referenced in 8 articles [sw13374]
  • with Uninterpreted Functions and Memories (EUFM). The logic expresses connectness of high-level microprocessors ... tool that exploits positive equality and other optimizations when translating a formula in EUFM...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • optimization. We present a new semantics for stack inspection based on a belief logic ... combination of static analysis and runtime optimizations, our prototype implementation showes reasonable performance (although traditional...
  • WSDFU

  • Referenced in 9 articles [sw02362]
  • auxiliary functions as well as the logical structure of a source program. GPC uses both ... prover and a classical partial evaluator to optimize programs. Therefore, GPC is more powerful than...