Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Taisuke Sato
2010 – today
- 2013
[i5]- 2012
- [c57]Taisuke Sato, Philipp Meyer: Tabling for infinite probability computation. ICLP (Technical Communications) 2012: 348-358
- [c56]Yoshitaka Kameya, Taisuke Sato: RP-growth: Top-k Mining of Relevant Patterns with Minimum Support Raising. SDM 2012: 816-827
- 2011
- [j17]Masakazu Ishihata, Taisuke Sato: Bayesian inference for statistical abduction using Markov chain Monte Carlo. Journal of Machine Learning Research - Proceedings Track 20: 81-96 (2011)
- [j16]Taisuke Sato, Masakazu Ishihata, Katsumi Inoue: Constraint-based probabilistic modeling for statistical abduction. Machine Learning 83(2): 241-264 (2011)
- [c55]Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato: Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence 2011: 203-212
- [c54]Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato: Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology. BIOINFORMATICS 2011: 47-54
- [c53]Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato: Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions. ICTAI 2011: 873-875
- [c52]Taisuke Sato: A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. IJCAI 2011: 1472-1477
- [c51]Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato: Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs. ILP 2011: 189-203
- [i4]Yoshitaka Kameya, Taisuke Sato: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. CoRR abs/1106.1797 (2011)
- [i3]Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato: Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions. CoRR abs/1108.5002 (2011)
- 2010
- [j15]Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato: An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. Journal of Machine Learning Research - Proceedings Track 13: 161-176 (2010)
- [j14]Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based probabilistic logic learning. TPLP 10(4-6): 433-447 (2010)
- [c50]Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato: Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) 2010: 213-218
- [i2]Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based Probabilistic Logic Learning. CoRR abs/1007.3858 (2010)
2000 – 2009
- 2009
- [c49]
- [c48]Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI 2009: 810-815
- [c47]
- [c46]
- 2008
- [j13]Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara: Variational Bayes via propositionalized probability computation in PRISM. Ann. Math. Artif. Intell. 54(1-3): 135-158 (2008)
- [j12]Taisuke Sato: A glimpse of symbolic-statistical modeling by PRISM. J. Intell. Inf. Syst. 31(2): 161-176 (2008)
- [j11]Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)
- [c45]Taisuke Sato, Yoshitaka Kameya: New Advances in Logic-Based Probabilistic Modeling by PRISM. Probabilistic Inductive Logic Programming 2008: 118-155
- [c44]Kenichi Kurihara, Tsuyoshi Murata, Taisuke Sato: Identification of MCMC Samples for Clustering. LKR 2008: 27-37
- 2007
- [j10]Humikazu 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)
- [c43]Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara: Variational Bayes via Propositionalization. Probabilistic, Logical and Relational Learning - A Further Synthesis 2007
- [c42]Shin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555
- [c41]
- [i1]Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations. CoRR abs/0705.3468 (2007)
- 2006
- [c40]Masanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato: Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar. FG 2006: 317-323
- [c39]Kenichi Kurihara, Taisuke Sato: Variational Bayesian Grammar Induction for Natural Language. ICGI 2006: 84-96
- 2005
- [c38]Taisuke Sato, Yoshitaka Kameya: Learning through failure. Probabilistic, Logical and Relational Learning 2005
- [c37]Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou: Generative Modeling with Failure in PRISM. IJCAI 2005: 847-852
- 2004
- [c36]Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou: Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494
- [c35]
- [c34]
- 2003
- [c33]
- 2002
- [c32]Taisuke Sato, Yoshitaka Kameya: Statistical Abduction with Tabulation. Computational Logic: Logic Programming and Beyond 2002: 567-587
- [c31]Taisuke Sato: EM Learning for Symbolic-Statistical Models in Statistical Abduction. Progress in Discovery Science 2002: 189-200
- 2001
- [j9]Taisuke Sato, Yoshitaka Kameya: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. J. Artif. Intell. Res. (JAIR) 15: 391-454 (2001)
- [j8]Masayuki Numao, Taisuke Sato: Tutorial Series on Web-computing - Preface. New Generation Comput. 19(2): 193 (2001)
- [c30]Nobuhisa Ueda, Taisuke Sato: Simplified Training Algorithms for Hierarchical Hidden Markov Models. Discovery Science 2001: 401-415
- [c29]
- [c28]Taisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai: A Separate-and-Learn Approach to EM Learning of PCFGs. NLPRS 2001: 255-262
- 2000
- [c27]Yoshitaka Kameya, Taisuke Sato: Efficient EM Learning with Tabulation for Parameterized Logic Programs. Computational Logic 2000: 269-284
1990 – 1999
- 1999
- [c26]Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato: A Graphical Method for Parameter Learning of Symbolic-Statistical Models. Discovery Science 1999: 264-276
- [c25]
- [e1]Aart Middeldorp, Taisuke Sato (Eds.): Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings. Lecture Notes in Computer Science 1722, Springer 1999, ISBN 3-540-66677-X
- 1998
- [c24]Yoshitaka Kameya, Taisuke Sato: Abstracting a Human's Decision Process by PRISM. Discovery Science 1998: 389-390
- 1997
- [c23]Taisuke Sato, Yoshitaka Kameya: PRISM: A Language for Symbolic-Statistical Modeling. IJCAI 1997: 1330-1339
- 1995
- [j7]Hitoshi Iba, Hugo de Garis, Taisuke Sato: A Numerical Approach to Genetic Programming for System Identification. Evolutionary Computation 3(4): 417-452 (1995)
- [c22]Hitoshi Iba, Taisuke Sato, Hugo de Garis: Temporal Data Processing Using Genetic Programming. ICGA 1995: 279-286
- [c21]Taisuke Sato: A Statistical Learning Method for Logic Programs with Distribution Semantics. ICLP 1995: 715-729
- 1994
- [c20]Hitoshi Iba, Taisuke Sato, Hugo de Garis: System Identification Approach to Genetic Programming. International Conference on Evolutionary Computation 1994: 401-406
- [c19]Hitoshi Iba, Hugo de Garis, Taisuke Sato: Genetic Programming with Local Hill-Climbing. PPSN 1994: 302-311
- 1993
- [c18]
- [c17]Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato: System Identification using Structured Genetic Algorithms. ICGA 1993: 279-286
- [c16]Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato: Evolutionary Learning Strategy using Bug-Based Search. IJCAI 1993: 960-966
- [c15]Sumitaka Akiba, Taisuke Sato: Learning Logic Programs and Regularities from Examples by Inductive Inference. Machine Intelligence 14 1993: 191-212
- 1992
- [j6]Taisuke Sato: Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. Theor. Comput. Sci. 105(1): 57-84 (1992)
- [c14]
- [c13]Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato: BUGS: A Bug-Based Search Strategy using Genetic Algorithms. PPSN 1992: 167-
- 1991
- [c12]
- [c11]Taisuke Sato, Fumio Motoyoshi: A Complete Top-Down Interpreter for First Order Programs. ISLP 1991: 35-53
- 1990
- [j5]
- [c10]Taisuke Sato: An Equivalence Preserving First Order Unfold/fold Transformation System. ALP 1990: 173-188
1980 – 1989
- 1989
- [j4]Taisuke Sato, Hisao Tamaki: First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. J. Symb. Comput. 8(6): 605-627 (1989)
- [j3]
- 1986
- [c9]
- 1984
- [j2]Taisuke Sato, Hisao Tamaki: Enumeration of Success Patterns in Logic Programs. Theor. Comput. Sci. 34: 227-240 (1984)
- [c8]
- [c7]
- 1983
- [j1]Hisao Tamaki, Taisuke Sato: Program Transformation Through Meta-shifting. New Generation Comput. 1(1): 93-98 (1983)
- [c6]
- 1982
- [c5]
- [c4]Taisuke Sato: An Algorithm for Intelligent Backtracking. RIMS Symposium on Software Science and Engineering 1982: 88-98
- 1980
- [c3]
1970 – 1979
- 1979
- [c2]Hozumi Tanaka, Taisuke Sato, Fumio Motoyoshi: Predictive Control Parser: Extended LINGOL. IJCAI 1979: 868-870
- [c1]Toshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi: SYSP: A New Programming Language for the Next Generation. IJCAI 1979: 998-1000
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17 21:10 CEST by the dblp team