
OTTER
 Referenced in 320 articles
[sw02904]
 prove theorems stated in firstorder logic with equality. Otter’s inference rules are based ... term rewriting, term orderings, KnuthBendix completion, weighting, and strategies for directing and restricting searches ... research in abstract algebra and formal logic. Otter and its predecessors have been used...

MADM
 Referenced in 134 articles
[sw06484]
 objective integrated weights (SOIW) method and the weighted Euclidean distance based approach (WEDBA) to consider ... decision matrix. These methods, which use fuzzy logic to convert the qualitative attributes into...

Casaal
 Referenced in 5 articles
[sw10130]
 based statistical model checking for weighted metric temporal logic. We present a novel approach ... with respect to the weighted metric temporal logic (WMTL ≤ ). Based on a stochastic semantics...

DistAl
 Referenced in 103 articles
[sw01746]
 learning algorithm Multilayer networks of threshold logic units offer an attractive framework ... patterns belonging to the same class. The weights and thresholds of the hidden neurons...

RockIt
 Referenced in 5 articles
[sw35051]
 RockIt: A query engine for Markov logic. RockIt answers maximum aposteriori (MAP) queries (also ... probability queries), and learns the weights of Markov logic networks. Markov logic is a combination...

YAGO
 Referenced in 54 articles
[sw11909]
 semantic knowledge. We present YAGO, a lightweight and extensible ontology with high coverage ... about 95%. YAGO is based on a logically clean model, which is decidable, extensible...

TCHR
 Referenced in 5 articles
[sw01345]
 tabled constraint logic programming. It integrates in a lightweight manner Constraint Handling Rules...

lp2normal
 Referenced in 7 articles
[sw25505]
 that acts as a filter on ground logic programs produced by grounders, such as gringo ... weight rules, and to rewrite optimization statements using comparable techniques. The produced logic programs...

mccogwed
 Referenced in 1 article
[sw23212]
 prototype model checker for a weighted doxastic logic...

GXNORNet
 Referenced in 2 articles
[sw32923]
 training deep neural networks with ternary weights and activations without fullprecision memory under ... replaced by accumulations or even binary logic operations, make the onchip training of DNNs ... remove the fullprecision hidden weights in the training phase to break the bottlenecks ... weight and nonzero activation enables the control gate to start the XNOR logic operations...

RPDeLP
 Referenced in 4 articles
[sw19192]
 DeLP: a weighted defeasible argumentation framework based on a recursive semantics. In this article ... warranted formulas in a general defeasible logic argumentation framework by formalizing a notion of collective...

PULi
 Referenced in 1 article
[sw28623]
 debugging of incorrect entailments in Description Logic ontologies. Recently a number of SATbased methods ... enumerate all justifications for entailments in lightweight ontologies languages, such as EL. These methods ... encoding EL inferences in propositional Horn logic, and finding minimal models that correspond to justifications...

LP2NORMAL2
 Referenced in 1 article
[sw33086]
 logic program by translating away extended rule types (choice rules, cardinality rules, and weight rules...

WALiNWA
 Referenced in 0 articles
[sw33481]
 operations for weighted automata. While the NWA portions of WALi are mostly logically separate from ... WALi and interoperates with WALi’s weighted pushdown system (WPDS) code...

ProPPR
 Referenced in 1 article
[sw32915]
 graphs: using an abductive secondorder probabilistic logic, we show that firstorder theories ... parameter learning; that in parameter learning, weight learning can be performed using parallel stochastic gradient...

ChainRules.jl
 Referenced in 2 articles
[sw41377]
 reverse, and mixedmode primitives. The core logic of ChainRules is implemented in ChainRulesCore.jl ... need to depend on the very lightweight package ChainRulesCore.jl. This repository contains ChainRules.jl, which...

ABEL
 Referenced in 2 articles
[sw02787]
 aspects through a simple way of combining logic and probability theory. Probabilities are used ... arguments and counterarguments with corresponding numerical weights...

CORAL
 Referenced in 3 articles
[sw10927]
 fathead minnow (Pimephales promelas). CORrelation And Logic (CORAL) is a software that generates quantitative structure ... criterion for dividing the correlation weights into two classes rare (blocked) and not rare (active...

ANSYS
 Referenced in 713 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...