Taisuke Sato

Taisuke Sato, Keiichi Kubota: Viterbi training in PRISM. CoRR abs/1303.5659 (2013)

Taisuke Sato, Philipp Meyer: Tabling for infinite probability computation. ICLP (Technical Communications) 2012: 348-358

Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato: Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs. ILP 2012: 189-203

Yoshitaka Kameya, Taisuke Sato: RP-growth: Top-k Mining of Relevant Patterns with Minimum Support Raising. SDM 2012: 816-827

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)

Taisuke Sato, Masakazu Ishihata, Katsumi Inoue: Constraint-based probabilistic modeling for statistical abduction. Machine Learning 83(2): 241-264 (2011)

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

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

Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato: Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions. ICTAI 2011: 873-875

Taisuke Sato: A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. IJCAI 2011: 1472-1477

Yoshitaka Kameya, Taisuke Sato: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. CoRR abs/1106.1797 (2011)

Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato: Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions. CoRR abs/1108.5002 (2011)

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)

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based probabilistic logic learning. TPLP 10(4-6): 433-447 (2010)

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato: Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) 2010: 213-218

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato: CHR(PRISM)-based Probabilistic Logic Learning. CoRR abs/1007.3858 (2010)

Taisuke Sato: Generative Modeling by PRISM. ICLP 2009: 24-35

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI 2009: 810-815

Taisuke Sato: Statistical Learning of Probabilistic BDDs. SAGA 2009: 15

Taisuke Sato: Logic-Based Probabilistic Modeling. WoLLIC 2009: 61-71

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara: Variational Bayes via propositionalized probability computation in PRISM. Ann. Math. Artif. Intell. 54(1-3): 135-158 (2008)

Taisuke Sato: A glimpse of symbolic-statistical modeling by PRISM. J. Intell. Inf. Syst. 31(2): 161-176 (2008)

Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear tabling strategies and optimizations. TPLP 8(1): 81-109 (2008)

Taisuke Sato, Yoshitaka Kameya: New Advances in Logic-Based Probabilistic Modeling by PRISM. Probabilistic Inductive Logic Programming 2008: 118-155

Kenichi Kurihara, Tsuyoshi Murata, Taisuke Sato: Identification of MCMC Samples for Clustering. LKR 2008: 27-37

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)

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara: Variational Bayes via Propositionalization. Probabilistic, Logical and Relational Learning - A Further Synthesis 2007

Shin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555

Taisuke Sato: Inside-Outside Probability Computation for Belief Propagation. IJCAI 2007: 2605-2610

Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen: Linear Tabling Strategies and Optimizations. CoRR abs/0705.3468 (2007)

Masanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato: Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar. FG 2006: 317-323

Kenichi Kurihara, Taisuke Sato: Variational Bayesian Grammar Induction for Natural Language. ICGI 2006: 84-96

Taisuke Sato, Yoshitaka Kameya: Learning through failure. Probabilistic, Logical and Relational Learning 2005

Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou: Generative Modeling with Failure in PRISM. IJCAI 2005: 847-852

Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou: Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI 2004: 490-494

Taisuke Sato, Yoshitaka Kameya: Negation Elimination for Finite PCFGs. LOPSTR 2004: 117-132

Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato: Semi-naive evaluation in linear tabling. PPDP 2004: 90-97

Neng-Fa Zhou, Taisuke Sato: Efficient fixpoint computation in linear tabling. PPDP 2003: 275-283

Taisuke Sato, Yoshitaka Kameya: Statistical Abduction with Tabulation. Computational Logic: Logic Programming and Beyond 2002: 567-587

Taisuke Sato: EM Learning for Symbolic-Statistical Models in Statistical Abduction. Progress in Discovery Science 2002: 189-200

Taisuke Sato, Yoshitaka Kameya: Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. J. Artif. Intell. Res. (JAIR) 15: 391-454 (2001)

Masayuki Numao, Taisuke Sato: Tutorial Series on Web-computing - Preface. New Generation Comput. 19(2): 193 (2001)

Nobuhisa Ueda, Taisuke Sato: Simplified Training Algorithms for Hierarchical Hidden Markov Models. Discovery Science 2001: 401-415

Taisuke Sato: Parameterized Logic Programs where Computing Meets Learning. FLOPS 2001: 40-60

Taisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai: A Separate-and-Learn Approach to EM Learning of PCFGs. NLPRS 2001: 255-262

Yoshitaka Kameya, Taisuke Sato: Efficient EM Learning with Tabulation for Parameterized Logic Programs. Computational Logic 2000: 269-284

Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato: A Graphical Method for Parameter Learning of Symbolic-Statistical Models. Discovery Science 1999: 264-276

Taisuke Sato, Satoshi Funada: Reactive Logic Programming by Reinforcement Learning. ICLP 1999: 617

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

Yoshitaka Kameya, Taisuke Sato: Abstracting a Human's Decision Process by PRISM. Discovery Science 1998: 389-390

Taisuke Sato, Yoshitaka Kameya: PRISM: A Language for Symbolic-Statistical Modeling. IJCAI 1997: 1330-1339

Hitoshi Iba, Hugo de Garis, Taisuke Sato: A Numerical Approach to Genetic Programming for System Identification. Evolutionary Computation 3(4): 417-452 (1995)

Hitoshi Iba, Taisuke Sato, Hugo de Garis: Temporal Data Processing Using Genetic Programming. ICGA 1995: 279-286

Taisuke Sato: A Statistical Learning Method for Logic Programs with Distribution Semantics. ICLP 1995: 715-729

Hitoshi Iba, Taisuke Sato, Hugo de Garis: System Identification Approach to Genetic Programming. International Conference on Evolutionary Computation 1994: 401-406

Hitoshi Iba, Hugo de Garis, Taisuke Sato: Genetic Programming with Local Hill-Climbing. PPSN 1994: 302-311

Taisuke Sato, Sumitaka Akiba: Inductive Resolution. ALT 1993: 101-110

Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato: System Identification using Structured Genetic Algorithms. ICGA 1993: 279-286

Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato: Evolutionary Learning Strategy using Bug-Based Search. IJCAI 1993: 960-966

Sumitaka Akiba, Taisuke Sato: Learning Logic Programs and Regularities from Examples by Inductive Inference. Machine Intelligence 14 1993: 191-212

Taisuke Sato: Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. Theor. Comput. Sci. 105(1): 57-84 (1992)

Taisuke Sato: Meta-Programming through a Truth Predicate. JICSLP 1992: 526-540

Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato: BUGS: A Bug-Based Search Strategy using Genetic Algorithms. PPSN 1992: 167-

Taisuke Sato: Full First Order Logic Programming and Truth Predicate. ICLP 1991: 948

Taisuke Sato, Fumio Motoyoshi: A Complete Top-Down Interpreter for First Order Programs. ISLP 1991: 35-53

Taisuke Sato: Completed Logic Programs and their Consistency. J. Log. Program. 9(1): 33-44 (1990)

Taisuke Sato: An Equivalence Preserving First Order Unfold/fold Transformation System. ALP 1990: 173-188

Taisuke Sato, Hisao Tamaki: First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. J. Symb. Comput. 8(6): 605-627 (1989)

Taisuke Sato, Hisao Tamaki: Existential Continuation. New Generation Comput. 6(4): 421-438 (1989)

Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98

Taisuke Sato, Hisao Tamaki: Enumeration of Success Patterns in Logic Programs. Theor. Comput. Sci. 34: 227-240 (1984)

Taisuke Sato, Hisao Tamaki: Transformational Logic Program Synthesis. FGCS 1984: 195-201

Hisao Tamaki, Taisuke Sato: Unfold/Fold Transformation of Logic Programs. ICLP 1984: 127-138

Hisao Tamaki, Taisuke Sato: Program Transformation Through Meta-shifting. New Generation Comput. 1(1): 93-98 (1983)

Taisuke Sato, Hisao Tamaki: Enumeration of Success Patterns in Logic Programs. ICALP 1983: 640-652

Taisuke Sato: Negation and Semantics of Prolog Programs. ICLP 1982: 169-174

Taisuke Sato: An Algorithm for Intelligent Backtracking. RIMS Symposium on Software Science and Engineering 1982: 88-98

Taisuke Sato: SGS: A System For Mechanical Generation Of Japanese Sentences. COLING 1980: 21-28

Hozumi Tanaka, Taisuke Sato, Fumio Motoyoshi: Predictive Control Parser: Extended LINGOL. IJCAI 1979: 868-870

Toshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi: SYSP: A New Programming Language for the Next Generation. IJCAI 1979: 998-1000