• Pronto

  • Referenced in 3 articles [sw14757]
  • Pronto: A Practical Probabilistic Description Logic Reasoner. This paper presents Pronto—the first probabilistic Description ... Logic (DL) reasoner capable of processing knowledge bases containing about a thousand of probabilistic axioms...
  • ADAM

  • Referenced in 8 articles [sw21957]
  • with discrete models, such as probabilistic Boolean networks, logical models, Petri nets, and agent-based...
  • foxPSL

  • Referenced in 2 articles [sw13725]
  • fast, optimized and extended implementation of Probabilistic Soft Logic (PSL) based on the distributed graph ... relational structures, usually by combining logical representations with probabilistic graphical models ... seen as both a probabilistic logic and a template language for hinge-loss Markov Random...
  • PRISM-games

  • Referenced in 22 articles [sw12934]
  • cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules language ... using rPATL, which extends the well-known logic ATL with operators to reason about probabilities ... bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing...
  • 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...
  • 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 paper presents a new, scalable probabilistic logic called ProPPR, which further extends stochastic logic ... graphs: using an abductive second-order probabilistic logic, we show that first-order theories...
  • REBA

  • Referenced in 4 articles [sw29435]
  • reason with non-monotonic logic-based and probabilistic descriptions of uncertainty and incomplete domain knowledge...
  • Juice

  • Referenced in 1 article [sw41046]
  • Juice: A Julia Package for Logic and Probabilistic Circuits. Juice is an open-source Julia ... package providing tools for logic and probabilistic reasoning and learning based on logic circuits...
  • 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...
  • BRECCIA

  • Referenced in 1 article [sw31708]
  • system, which receives information from humans (as logical sentences), simulations (e.g., weather or environmental predictions ... user queries based on a new probabilistic logic system which determines a coherent overall response ... this is a novel approach to probabilistic argumentation analysis...
  • MC2

  • Referenced in 5 articles [sw12883]
  • Checker for properties written in Probabilistic Linear-time Temporal Logic with numerical constraints (PLTLc ... property. MC2(PLTLc) can also calculate the probabilistic domains of free variables within a property...
  • HyPER

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

  • Referenced in 18 articles [sw08423]
  • discrete or continuous Markov Chains; or (ii) probabilistic rewrite theories in Maude. Furthermore, the properties ... PCTL/CSL, or (ii) the QuaTEx quantitative temporal logic. As our experiments show, the performance gains...
  • INFAMY

  • Referenced in 5 articles [sw21177]
  • CTMCs. It checks probabilistic timing properties expressible in continuous stochastic logic (CSL). Conventional model checkers...
  • QASM

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

  • Referenced in 1 article [sw23918]
  • correctness of claims. ClaimEval uses Probabilistic Soft Logic (PSL), resulting in a flexible and principled...
  • ProMoca

  • Referenced in 1 article [sw18548]
  • these properties using a probabilistic variant of linear temporal logic. Thirdly, we adapt a probabilistic...
  • HySpirit

  • Referenced in 4 articles [sw20096]
  • HySpirit - a probabilistic inference engine for hypermedia retrieval in large databases. HySpirit is a retrieval ... logical view on IR models retrieval as uncertain inference, for which we use probabilistic reasoning...
  • CertiCrypt

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

  • Referenced in 1 article [sw42016]
  • suitable denotational model for higher-order probabilistic programming languages with continuous distributions. This entry ... work by same authors, Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL, which will ... 16th International Symposium on Functional and Logic Programming (FLOPS...