• ProbLog

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

  • 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 33 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 symbolic-statistical...
  • PITA

  • Referenced in 18 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 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...
  • cplint

  • Referenced in 4 articles [sw22924]
  • programs for reasoning and learning with Probabilistic Logic Programming languages that follow the distribution semantics...
  • 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...
  • PrASP

  • Referenced in 1 article [sw18512]
  • tool for probabilistic reasoning based on logic programming and first-order 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 non-monotonic (inductive) probabilistic logic programming, our framework mainly targets applications...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • ProPPR: efficient first-order 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 second-order probabilistic logic, we show that first-order theories...
  • CryptHOL

  • Referenced in 3 articles [sw28582]
  • shallowly embeds a probabilistic functional programming language in higher order logic. The language features monadic ... black-box 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...
  • FODD-Planner

  • 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...
  • FACTORIE

  • Referenced in 12 articles [sw08947]
  • Factorie: Probabilistic programming via imperatively defined factor graphs. Discriminatively trained undirected graphical models have ... language, such as SQL or first-order logic, we advocate using an imperative language...
  • REBA

  • Referenced in 2 articles [sw29435]
  • declarative programming and probabilistic graphical models to represent and reason with non-monotonic logic-based...
  • Density Compiler

  • Referenced in 5 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...