• OTTER

  • Referenced in 320 articles [sw02904]
  • prove theorems stated in first-order logic with equality. Otter’s inference rules are based ... term rewriting, term orderings, Knuth-Bendix 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 Multi-layer 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 a-posteriori (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 light-weight 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 light-weight 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...
  • GXNOR-Net

  • Referenced in 2 articles [sw32923]
  • training deep neural networks with ternary weights and activations without full-precision memory under ... replaced by accumulations or even binary logic operations, make the on-chip training of DNNs ... remove the full-precision hidden weights in the training phase to break the bottlenecks ... weight and non-zero activation enables the control gate to start the XNOR logic operations...
  • RP-DeLP

  • 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 SAT-based methods ... enumerate all justifications for entailments in light-weight 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...
  • WALi-NWA

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

  • Referenced in 1 article [sw32915]
  • graphs: using an abductive second-order probabilistic logic, we show that first-order 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 mixed-mode primitives. The core logic of ChainRules is implemented in ChainRulesCore.jl ... need to depend on the very light-weight 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 counter-arguments 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...