24 citations · 24 across the 3 of their papers we have counts for
3 papers
cs.AI2016
A Linear Algebraic Approach to Datalog Evaluation
Taisuke Sato
In this paper, we propose a fundamentally new approach to Datalog evaluation. Given a linear Datalog program DB written using N constants and binary predicates, we first translate…
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…