6 citations · 15 across the 4 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 2 cited
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…
cs.AI2012★ 5 cited
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…