dblp.uni-trier.dewww.uni-trier.de

Taisuke Sato

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
57EEKenichi Kurihara, Tsuyoshi Murata, Taisuke Sato: Identification of MCMC Samples for Clustering. LKR 2008: 27-37
56EETaisuke Sato, Yoshitaka Kameya: New Advances in Logic-Based Probabilistic Modeling by PRISM. Probabilistic Inductive Logic Programming 2008: 118-155
55EETaisuke Sato: A glimpse of symbolic-statistical modeling by PRISM. J. Intell. Inf. Syst. 31(2): 161-176 (2008)
54EENeng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)
2007
53EEShin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555
52EETaisuke Sato: Inside-Outside Probability Computation for Belief Propagation. IJCAI 2007: 2605-2610
51EETaisuke Sato, Yoshitaka Kameya, Kenichi Kurihara: Variational Bayes via Propositionalization. Probabilistic, Logical and Relational Learning - A Further Synthesis 2007
50EENeng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations CoRR abs/0705.3468: (2007)
49EEHumikazu Mitomi, Fuyuki Fujiwara, Masanobu Yamamoto, Taisuke Sato: Bayesian classification of a human custom based on stochastic context-free grammar. Systems and Computers in Japan 38(9): 52-62 (2007)
2006
48EEMasanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato: Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar. FG 2006: 317-323
47EEKenichi Kurihara, Taisuke Sato: Variational Bayesian Grammar Induction for Natural Language. ICGI 2006: 84-96
2005
46EETaisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou: Generative Modeling with Failure in PRISM. IJCAI 2005: 847-852
45EETaisuke Sato, Yoshitaka Kameya: Learning through failure. Probabilistic, Logical and Relational Learning 2005
2004
44 Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou: Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494
43EETaisuke Sato, Yoshitaka Kameya: Negation Elimination for Finite PCFGs. LOPSTR 2004: 117-132
42EENeng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97
2003
41EENeng-Fa Zhou, Taisuke Sato: Efficient fixpoint computation in linear tabling. PPDP 2003: 275-283
2002
40EETaisuke Sato, Yoshitaka Kameya: Statistical Abduction with Tabulation. Computational Logic: Logic Programming and Beyond 2002: 567-587
39EETaisuke Sato: EM Learning for Symbolic-Statistical Models in Statistical Abduction. Progress in Discovery Science 2002: 189-200
2001
38EENobuhisa Ueda, Taisuke Sato: Simplified Training Algorithms for Hierarchical Hidden Markov Models. Discovery Science 2001: 401-415
37EETaisuke Sato: Parameterized Logic Programs where Computing Meets Learning. FLOPS 2001: 40-60
36EETaisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai: A Separate-and-Learn Approach to EM Learning of PCFGs. NLPRS 2001: 255-262
35EETaisuke Sato, Yoshitaka Kameya: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. J. Artif. Intell. Res. (JAIR) 15: 391-454 (2001)
34 Masayuki Numao, Taisuke Sato: Tutorial Series on Web-computing - Preface. New Generation Comput. 19(2): 193 (2001)
2000
33EEYoshitaka Kameya, Taisuke Sato: Efficient EM Learning with Tabulation for Parameterized Logic Programs. Computational Logic 2000: 269-284
1999
32 Aart Middeldorp, Taisuke Sato: Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings Springer 1999
31EEYoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato: A Graphical Method for Parameter Learning of Symbolic-Statistical Models. Discovery Science 1999: 264-276
30 Taisuke Sato, Satoshi Funada: Reactive Logic Programming by Reinforcement Learning. ICLP 1999: 617
1998
29EEYoshitaka Kameya, Taisuke Sato: Abstracting a Human's Decision Process by PRISM. Discovery Science 1998: 389-390
1997
28 Taisuke Sato, Yoshitaka Kameya: PRISM: A Language for Symbolic-Statistical Modeling. IJCAI 1997: 1330-1339
1995
27 Hitoshi Iba, Taisuke Sato, Hugo de Garis: Temporal Data Processing Using Genetic Programming. ICGA 1995: 279-286
26 Taisuke Sato: A Statistical Learning Method for Logic Programs with Distribution Semantics. ICLP 1995: 715-729
25 Hitoshi Iba, Hugo de Garis, Taisuke Sato: A Numerical Approach to Genetic Programming for System Identification. Evolutionary Computation 3(4): 417-452 (1995)
1994
24 Hitoshi Iba, Taisuke Sato, Hugo de Garis: System Identification Approach to Genetic Programming. International Conference on Evolutionary Computation 1994: 401-406
23 Hitoshi Iba, Hugo de Garis, Taisuke Sato: Genetic Programming with Local Hill-Climbing. PPSN 1994: 302-311
1993
22 Taisuke Sato, Sumitaka Akiba: Inductive Resolution. ALT 1993: 101-110
21 Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato: System Identification using Structured Genetic Algorithms. ICGA 1993: 279-286
20 Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato: Evolutionary Learning Strategy using Bug-Based Search. IJCAI 1993: 960-966
19 Sumitaka Akiba, Taisuke Sato: Learning Logic Programs and Regularities from Examples by Inductive Inference. Machine Intelligence 14 1993: 191-212
1992
18 Taisuke Sato: Meta-Programming through a Truth Predicate. JICSLP 1992: 526-540
17 Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato: BUGS: A Bug-Based Search Strategy using Genetic Algorithms. PPSN 1992: 167-
16 Taisuke Sato: Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. Theor. Comput. Sci. 105(1): 57-84 (1992)
1991
15 Taisuke Sato: Full First Order Logic Programming and Truth Predicate. ICLP 1991: 948
14 Taisuke Sato, Fumio Motoyoshi: A Complete Top-Down Interpreter for First Order Programs. ISLP 1991: 35-53
1990
13 Taisuke Sato: An Equivalence Preserving First Order Unfold/fold Transformation System. ALP 1990: 173-188
12 Taisuke Sato: Completed Logic Programs and their Consistency. J. Log. Program. 9(1): 33-44 (1990)
1989
11 Taisuke Sato, Hisao Tamaki: First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. J. Symb. Comput. 8(6): 605-627 (1989)
10 Taisuke Sato, Hisao Tamaki: Existential Continuation. New Generation Comput. 6(4): 421-438 (1989)
1986
9 Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98
1984
8 Taisuke Sato, Hisao Tamaki: Transformational Logic Program Synthesis. FGCS 1984: 195-201
7 Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. ICLP 1984: 127-138
6 Taisuke Sato, Hisao Tamaki: Enumeration of Success Patterns in Logic Programs. Theor. Comput. Sci. 34: 227-240 (1984)
1983
5 Taisuke Sato, Hisao Tamaki: Enumeration of Success Patterns in Logic Programs. ICALP 1983: 640-652
4 Hisao Tamaki, Taisuke Sato: Program Transformation Through Meta-shifting. New Generation Comput. 1(1): 93-98 (1983)
1982
3 Taisuke Sato: Negation and Semantics of Prolog Programs. ICLP 1982: 169-174
2 Taisuke Sato: An Algorithm for Intelligent Backtracking. RIMS Symposium on Software Science and Engineering 1982: 88-98
1980
1EETaisuke Sato: SGS: A System For Mechanical Generation Of Japanese Sentences. COLING 1980: 21-28

Coauthor Index

1Shigeru Abe [36]
2Sumitaka Akiba [17] [19] [22]
3Fuyuki Fujiwara [48] [49]
4Satoshi Funada [30]
5Hugo de Garis [20] [21] [23] [24] [25] [27]
6Tetsuya Higuchi [17] [20]
7Hitoshi Iba [17] [20] [21] [23] [24] [25] [27]
8Yoshitaka Kameya [28] [29] [31] [33] [35] [36] [40] [43] [44] [45] [46] [51] [56]
9Kenichi Kurihara [47] [51] [57]
10Takio Kurita [21]
11Aart Middeldorp [32]
12Shin-ichi Minato [53]
13Humikazu Mitomi [48] [49]
14Fumio Motoyoshi [14]
15Tsuyoshi Murata [57]
16Masayuki Numao [34]
17Ken Satoh [53]
18Yi-Dong Shen [42] [50] [54]
19Kiyoaki Shirai [36]
20Hisao Tamaki [4] [5] [6] [7] [8] [9] [10] [11]
21Nobuhisa Ueda [31] [38]
22Masanobu Yamamoto [48] [49]
23Neng-Fa Zhou [41] [42] [44] [46] [50] [54]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)