The following pages link to Taisuke Sato (Q209152):
Displaying 32 items.
- Constraint-based probabilistic modeling for statistical abduction (Q413868) (← links)
- Logic programming in tensor spaces (Q825007) (← links)
- Variational Bayes via propositionalized probability computation in PRISM (Q841638) (← links)
- First order compiler: A deterministic logic program synthesis algorithm (Q908686) (← links)
- Existential continuation (Q1115643) (← links)
- Equivalence-preserving first-order unfold/fold transformation systems (Q1200980) (← links)
- Enumeration of success patterns in logic programs (Q1348532) (← links)
- Learning to rank in PRISM (Q1726418) (← links)
- (Q2740660) (← links)
- (Q2763628) (← links)
- (Q2767059) (← links)
- (Q3044495) (← links)
- Completed logic programs and their consistency (Q3201745) (← links)
- Variational Bayesian Grammar Induction for Natural Language (Q3541847) (← links)
- CHR(PRISM)-based probabilistic logic learning (Q3585158) (← links)
- Logic-Based Probabilistic Modeling (Q3638275) (← links)
- (Q3657471) (← links)
- (Q3691053) (← links)
- (Q3746920) (← links)
- (Q3830520) (← links)
- (Q4267823) (← links)
- (Q4533365) (← links)
- Viterbi training in PRISM (Q4592976) (← links)
- A linear algebraic approach to datalog evaluation (Q4593086) (← links)
- (Q4707779) (← links)
- (Q4736062) (← links)
- An equivalence preserving first order unfold/fold transformation system (Q5096195) (← links)
- Linear tabling strategies and optimizations (Q5437650) (← links)
- New Advances in Logic-Based Probabilistic Modeling by PRISM (Q5452024) (← links)
- Negation Elimination for Finite PCFGs (Q5458798) (← links)
- Tutorial series on web-computing (Q5946220) (← links)
- Differentiable learning of matricized DNFs and its application to Boolean networks (Q6134346) (← links)
