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

CPlogic
 Referenced in 18 articles
[sw06947]
 probabilistic events and its relation to logic programming This paper develops a logical language ... Second, this language also has relevance for the area of probabilistic logic programming. In particular ... certain logic programs, rendering it formally quite similar to existing languages such ... explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such...

PRISM
 Referenced in 39 articles
[sw23359]
 modeling language PRISM whose programs are not only a probabilistic extension of logic programs ... algorithm. As a knowledge representation language appropriate for probabilistic reasoning, it can describe various types...

MCINTYRE
 Referenced in 8 articles
[sw22925]
 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...

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

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

PFLP
 Referenced in 3 articles
[sw28855]
 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. In fact ... functional logic and probabilistic programming are closely connected. That is, language characteristics from one area ... even compete with fullblown probabilistic programming languages, which we illustrate by several benchmarks. Under...

PrASP
 Referenced in 2 articles
[sw18512]
 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...

CryptHOL
 Referenced in 7 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...

PLINI
 Referenced in 1 article
[sw09902]
 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...

miniKanren
 Referenced in 6 articles
[sw20082]
 languages. miniKanren is designed to be easily modified and extended; extensions include Constraint Logic Programming ... probabilistic logic programming, nominal logic programming, and tabling...

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 ... using a declarative language, such as SQL or firstorder logic, we advocate using...

QASM
 Referenced in 1 article
[sw37836]
 define a dynamic logic for QASM (Quantum Assembly) programming language, a language that requires ... handling of quantum and probabilistic information. We provide a syntax ... model to this logic, providing a probabilistic semantics to the classical part. We exercise ... with the quantum coin toss program...

Density Compiler
 Referenced in 6 articles
[sw28659]
 probability spaces described by programs in a probabilistic functional language. In this work, we implement ... compiler for a modified version of this language within the theorem prover Isabelle and give ... semantics of the source and target language. Together with Isabelle’s code generation for inductive ... modelled directly in the theorem prover’s logic is defined and proved sound. Then, this...

KReator
 Referenced in 3 articles
[sw06946]
 probabilistic inductive logic programming (or statistical relational learning) aims at applying probabilistic methods of inference ... that area, which mostly extend existing propositional probabilistic methods like Bayes Nets and Markov Networks ... Furthermore, due to different languages and frameworks used for the development of different systems ... frameworks within the area of probabilistic inductive logic programming and statistical relational learning. Currently, KReator...

REBA
 Referenced in 4 articles
[sw29435]
 different levels of granularity. An action language is extended to support nonboolean fluents ... Prolog (ASP) program. For any given goal, inference in the ASP program provides a plan ... zoomed fineresolution system description, and a probabilistic representation of the uncertainty in sensing ... declarative programming and probabilistic graphical models to represent and reason with nonmonotonic logicbased...

ANSYS
 Referenced in 703 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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