56 citations · 113 across the 8 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016★ 2 cited
Inference in Probabilistic Logic Programs using Lifted Explanations
Arun Nampally, C. R. Ramakrishnan
In this paper, we consider the problem of lifted inference in the context of Prism-like probabilistic logic programming languages. Traditional inference in such languages involves…
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…