Travelled to:
1 × Hungary
1 × Spain
2 × Italy
2 × Japan
2 × Sweden
2 × United Kingdom
3 × France
4 × USA
Collaborated with:
∅ H.Tamaki Y.Kameya N.Zhou P.Meyer S.Funada F.Motoyoshi Y.Shen J.Sneyers W.Meert J.Vennekens
Talks about:
program (10) logic (8) learn (5) comput (3) order (3) first (3) tabl (3) transform (2) parameter (2) unfold (2)
Person: Taisuke Sato
DBLP: Sato:Taisuke
Facilitated 1 volumes:
Contributed to:
Wrote 18 papers:
- ICLP-2012-SatoM #infinity #probability
- Tabling for infinite probability computation (TS, PM), pp. 348–358.
- ICLP-J-2010-SneyersMVKS #learning #logic #probability
- CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
- ICLP-2009-Sato #generative #modelling
- Generative Modeling by PRISM (TS), pp. 24–35.
- LOPSTR-2004-SatoK #finite
- Negation Elimination for Finite PCFGs (TS, YK), pp. 117–132.
- PPDP-2004-ZhouSS #evaluation #linear
- Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
- PPDP-2003-ZhouS #fixpoint #linear #performance
- Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.
- FLOPS-2001-Sato #learning #logic programming #source code
- Parameterized Logic Programs where Computing Meets Learning (TS), pp. 40–60.
- CL-2000-KameyaS #learning #logic programming #performance #source code
- Efficient EM Learning with Tabulation for Parameterized Logic Programs (YK, TS), pp. 269–284.
- ICLP-1999-SatoF #learning #logic programming
- Reactive Logic Programming by Reinforcement Learning (TS, SF), p. 617.
- ICLP-1995-Sato #learning #logic programming #semantics #source code #statistics
- A Statistical Learning Method for Logic Programs with Distribution Semantics (TS), pp. 715–729.
- JICSLP-1992-Sato #metaprogramming
- Meta-Programming through a Truth Predicate (TS), pp. 526–540.
- ICLP-1991-Sato #first-order #logic programming
- Full First Order Logic Programming and Truth Predicate (TS), p. 948.
- ISLP-1991-SatoM #first-order #interpreter #source code #top-down
- A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
- ALP-1990-Sato #equivalence #first-order
- An Equivalence Preserving First Order Unfold/fold Transformation System (TS), pp. 173–188.
- ICLP-1986-TamakiS86
- OLD Resolution with Tabulation (HT, TS), pp. 84–98.
- ILPC-1984-TamakiS84 #logic programming #source code
- Unfold/Fold Transformation of Logic Programs (HT, TS), pp. 127–138.
- ICALP-1983-SatoT #logic programming #source code
- Enumeration of Success Patterns in Logic Programs (TS, HT), pp. 640–652.
- ILPC-1982-Sato82 #prolog #semantics #source code
- Negation and Semantics of Prolog Programs (TS), pp. 169–174.