56 citations · 113 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Constraint-Based Inference in Probabilistic Logic Programs
Arun Nampally, Timothy Zhang, C. R. Ramakrishnan
Probabilistic Logic Programs (PLPs) generalize traditional logic programs and allow the encoding of models combining logical structure and uncertainty. In PLP, inference is perform…
cs.LO2016
XPL: An extended probabilistic logic for probabilistic transition systems
Andrey Gorlin, C. R. Ramakrishnan
Generalized Probabilistic Logic (GPL) is a temporal logic, based on the modal mu-calculus, for specifying properties of reactive probabilistic systems. We explore XPL, an extension…