• TensorLog

  • Referenced in 6 articles [sw32913]
  • present an implementation of a probabilistic first-order logic called TensorLog, in which classes ... This leads to a close integration of probabilistic logical reasoning with deep-learning infrastructure...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • ProPPR: efficient first-order probabilistic logic programming for structure discovery, parameter learning, and scalable inference ... scalable probabilistic logic called ProPPR, which further extends stochastic logic programs (SLP) to a framework ... using an abductive second-order probabilistic logic, we show that first-order theories...
  • PrASP

  • Referenced in 3 articles [sw18512]
  • tool for probabilistic reasoning based on logic programming and first-order theories under stable model ... machine learning software and a probabilistic logic programming language based on answer set programming ... software platform for non-monotonic (inductive) probabilistic logic programming, our framework mainly targets applications ... AnsProlog) as well as first-order logic formulas (with stable model semantics), annotated with conditional...
  • FACTORIE

  • Referenced in 13 articles [sw08947]
  • Factorie: Probabilistic programming via imperatively defined factor graphs. Discriminatively trained undirected graphical models have ... declarative language, such as SQL or first-order logic, we advocate using an imperative language...
  • KReator

  • Referenced in 3 articles [sw06946]
  • probabilistic inductive logic programming (or statistical relational learning) aims at applying probabilistic methods ... inference and learning in relational or first-order representations of knowledge. In the past ... that area, which mostly extend existing propositional probabilistic methods like Bayes Nets and Markov Networks ... various frameworks within the area of probabilistic inductive logic programming and statistical relational learning. Currently...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SOLAR

  • Referenced in 20 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...