
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 agentbased...

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 hingeloss Markov Random...

PRISMgames
 Referenced in 22 articles
[sw12934]
 cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules language ... using rPATL, which extends the wellknown 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 firstorder 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 secondorder probabilistic logic, we show that firstorder theories...

REBA
 Referenced in 4 articles
[sw29435]
 reason with nonmonotonic logicbased 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 opensource 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 ... blackbox 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 Lineartime 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...

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