
PRISM
 Referenced in 442 articles
[sw01186]
 systems against specifications written in the probabilistic temporal logics PCTL and CSL. The tool features ... PRISM has been successfully used to analyse probabilistic termination, performance, and quality of service properties...

ProbLog
 Referenced in 102 articles
[sw06945]
 ProbLog is a probabilistic logic programming language based on Prolog. Two ProbLog implementations are available...

CPlogic
 Referenced in 19 articles
[sw06947]
 programming This paper develops a logical language for representing probabilistic causal laws. Our interest ... relevance for the area of probabilistic logic programming. In particular, we prove that the formal ... explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such ... piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express...

PITA
 Referenced in 22 articles
[sw06950]
 given rise to the field of probabilistic logic programming (PLP), leading to languages such...

SMART_
 Referenced in 33 articles
[sw04097]
 providing a seamless environment for the logic and probabilistic analysis of complex systems. Smart ... same modeling study. For the analysis of logical behavior, both explicit and symbolic statespace...

PRISM
 Referenced in 39 articles
[sw23359]
 programs are not only a probabilistic extension of logic programs but also able to learn ... knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolicstatistical...

CoLoSS
 Referenced in 14 articles
[sw07016]
 Pauly’s coalition logic, graded modal logic, and probabilistic modal logic. Logics are easily integrated ... obtains reasoning support e.g. for logics interpreted over probabilistic automata that combine nondeterminism...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 MCINTYRE: a Monte Carlo system for probabilistic logic programming. Probabilistic Logic Programming is receiving ... problem of approximate inference in probabilistic logic programming languages based on the distribution semantics ... normal program sampled from the probabilistic program. The ProbLog system includes such an algorithm...

Tweety
 Referenced in 9 articles
[sw22090]
 formalisms such as classical logics, conditional logics, probabilistic logics, and argumentation. Furthermore, Tweety contains libraries...

VESTA
 Referenced in 25 articles
[sw08425]
 property speciﬁed in probabilistic computation tree logic (PCTL) [3] or continuous stochastic logic...

Alchemy
 Referenced in 11 articles
[sw16040]
 algorithms for statistical relational learning and probabilistic logic inference, based on the Markov logic representation...

LIPSAT
 Referenced in 6 articles
[sw28633]
 Łukasiewicz infinitelyvalued logic. We study probabilisticlogic reasoning in a context that allows ... classical Łukasiewicz infinitelyvalued probabilistic logic. In particular, we study the satisfiability of joint probabilistic ... problem for Łukasiewicz infinitelyvalued (non probabilistic) logic, that is also an NPcomplete problem...

TensorLog
 Referenced in 6 articles
[sw32913]
 present an implementation of a probabilistic firstorder logic called TensorLog, in which classes ... leads to a close integration of probabilistic logical reasoning with deeplearning infrastructure: in particular ... tuning the parameters of a probabilistic logic. The integration with these frameworks enables ... making TensorLog the first highly parallellizable probabilistic logic. Experimental results show that TensorLog scales...

miniKanren
 Referenced in 6 articles
[sw20082]
 extended; extensions include Constraint Logic Programming, probabilistic logic programming, nominal logic programming, and tabling...

cplint
 Referenced in 6 articles
[sw22924]
 programs for reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics...

MarCaSPiS
 Referenced in 5 articles
[sw06957]
 interest. Moreover, SoSL is a probabilistic logic that permits expressing not only functional properties...

PrASP
 Referenced in 3 articles
[sw18512]
 tool for probabilistic reasoning based on logic programming and firstorder theories under stable model ... description paper describes the software framework PrASP (“probabilistic answer set programming”). PrASP is both ... machine learning software and a probabilistic logic programming language based on answer set programming ... software platform for nonmonotonic (inductive) probabilistic logic programming, our framework mainly targets applications...

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 ... various frameworks within the area of probabilistic inductive logic programming and statistical relational learning. Currently ... article, we provide some background on probabilistic inductive logic programming and statistical relational learning...

FRIL
 Referenced in 44 articles
[sw18490]
 probability and fuzzy sets. Extends the logic programming form of knowledge representation and method ... permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness. Describes the application...

PFLP
 Referenced in 3 articles
[sw28855]
 PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates ... functional logic programming language support the implementation of a library for probabilistic programming ... fact, the paradigms of functional logic and probabilistic programming are closely connected. That is, language ... functional logic programming are related to and coincide with stochastic memoization and probabilistic choice...