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