6 citations · 15 across the 4 of their papers we have counts for
4 papers
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…
Adaptive MCMC-Based Inference in Probabilistic Logic Programs
Arun Nampally, C. R. Ramakrishnan
Probabilistic Logic Programming (PLP) languages enable programmers to specify systems that combine logical models with statistical knowledge. The inference problem, to determine th…
Model Checking with Probabilistic Tabled Logic Programming
Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
We present a formulation of the problem of probabilistic model checking as one of query evaluation over probabilistic logic programs. To the best of our knowledge, our formulation…
Parameter Learning in PRISM Programs with Continuous Random Variables
Muhammad Asiful Islam, C. R. Ramakrishnan, I. V. Ramakrishnan
Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, De Raedt et al's ProbLog and Vennekens et al's LPAD, combines statistical and logical kn…