• KReator

  • Referenced in 3 articles [sw06946]
  • versatile integrated development environment for probabilistic inductive logic programming currently under development. The area ... probabilistic inductive logic programming (or statistical relational learning) aims at applying probabilistic methods of inference ... inductive logic programming and statistical relational learning. Currently, KReator implements Bayesian logic programs, Markov logic ... provide some background on probabilistic inductive logic programming and statistical relational learning and illustrate...
  • PrASP

  • Referenced in 2 articles [sw18512]
  • software and a probabilistic logic programming language based on answer set programming (ASP). Besides serving ... software platform for non-monotonic (inductive) probabilistic logic programming, our framework mainly targets applications...
  • Density Compiler

  • Referenced in 6 articles [sw28659]
  • probability spaces described by programs in a probabilistic functional language. In this work, we implement ... Together with Isabelle’s code generation for inductive predicates, this yields a fully verified, executable ... modelled directly in the theorem prover’s logic is defined and proved sound. Then, this...
  • Warmr

  • Referenced in 2 articles [sw37013]
  • mining methods from the field of Inductive Logic Programming (ILP) have potential advantages for structural ... frequent substructures was to convert them into probabilistic prediction rules relating compound description to carcinogenesis...
  • ANSYS

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

  • Referenced in 282 articles [sw00060]
  • ACL2 is both a programming language in which...
  • Coq

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

  • Referenced in 3067 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

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

  • Referenced in 3136 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5270 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

  • Referenced in 1856 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1471 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • GRASP

  • Referenced in 130 articles [sw01094]
  • Algorithm 754: Fortran subroutines for approximate solution of...
  • PRISM

  • Referenced in 434 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • MACSYMA

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