
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 nonmonotonic (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 highlevel language and interactive...

MiniSat
 Referenced in 558 articles
[sw00577]
 An extensible SATsolver. 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, opensource 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 symbolicnumericalgraphical...