• ProbLog

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

  • 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 full-blown 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 non-monotonic (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 ... black-box 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 first-order 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 non-boolean fluents ... Prolog (ASP) program. For any given goal, inference in the ASP program provides a plan ... zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing ... declarative programming and probabilistic graphical models to represent and reason with non-monotonic logic-based...
  • 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...