• 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 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]
  • 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 state-space...
  • 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 symbolic-statistical...
  • 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 non-determinism...
  • 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 specified 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 infinitely-valued logic. We study probabilistic-logic reasoning in a context that allows ... classical Łukasiewicz infinitely-valued probabilistic logic. In particular, we study the satisfiability of joint probabilistic ... problem for Łukasiewicz infinitely-valued (non probabilistic) logic, that is also an NP-complete problem...
  • TensorLog

  • Referenced in 6 articles [sw32913]
  • present an implementation of a probabilistic first-order logic called TensorLog, in which classes ... leads to a close integration of probabilistic logical reasoning with deep-learning 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 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...
  • 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...