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

CPlogic
 Referenced in 17 articles
[sw06947]
 language of causal probabilistic events and its relation to logic programming This paper develops ... 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...

PRISM
 Referenced in 34 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...

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

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 ... query in a normal program sampled from the probabilistic program. The ProbLog system includes such...

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

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

FRIL
 Referenced in 45 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...

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

PrASP
 Referenced in 2 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...

PFLP
 Referenced in 2 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...

PLINI
 Referenced in 1 article
[sw09902]
 PLINI: A probabilistic logic program framework for inconsistent news information. News sources are reliably unreliable ... Past work on inconsistency management and paraconsistent logics assume that we have “clean” definitions ... this paper, we propose a probabilistic logic programming language called PLINI (Probabilistic Logic for Inconsistent ... variant of the well known generalized annotated program framework that accounts for similarity of numeric...

ProPPR
 Referenced in 1 article
[sw32915]
 ProPPR: efficient firstorder probabilistic logic programming for structure discovery, parameter learning, and scalable inference ... semantically rich formalism that supports efficient probabilistic reasoning using large collections of extracted information. This ... scalable probabilistic logic called ProPPR, which further extends stochastic logic programs (SLP) to a framework ... graphs: using an abductive secondorder probabilistic logic, we show that firstorder theories...

CryptHOL
 Referenced in 4 articles
[sw28582]
 shallowly embeds a probabilistic functional programming language in higher order logic. The language features monadic ... blackbox access to oracles. Oracles are probabilistic functions which maintain hidden state between different...

HyPER
 Referenced in 2 articles
[sw23917]
 powerful and intuitive probabilistic programming language called probabilistic soft logic, which enables efficient and accurate...

CertiCrypt
 Referenced in 6 articles
[sw09443]
 probabilistic programs. It provides a set of programming language tools (observational equivalence, relational Hoare logic...

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

FODDPlanner
 Referenced in 14 articles
[sw07747]
 Probabilistic relational planning with first order decision diagrams Dynamic programming algorithms have been successfully applied ... symbolic dynamic programming lifted these ideas to first order logic using several representation schemes. Recent...

REBA
 Referenced in 2 articles
[sw29435]
 declarative programming and probabilistic graphical models to represent and reason with nonmonotonic logicbased...

Density Compiler
 Referenced in 6 articles
[sw28659]
 probability spaces described by programs in a probabilistic functional language. In this work, we implement ... modelled directly in the theorem prover’s logic is defined and proved sound. Then, this...