24 citations · 24 across the 2 of their papers we have counts for
2 papers
cs.PL2010★ 24 cited
CHR(PRISM)-based Probabilistic Logic Learning
Jon Sneyers, Wannes Meert, Joost Vennekens +2
PRISM is an extension of Prolog with probabilistic predicates and built-in support for expectation-maximization learning. Constraint Handling Rules (CHR) is a high-level programmin…
cs.PL2007
Linear Tabling Strategies and Optimizations
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Recently, the iterative approach named linear tabling has received considerable attention because of its simplicity, ease of implementation, and good space efficiency. Linear tabli…