 | 2009 |
|---|
| 62 |       | Taisuke Sato:
Generative Modeling by PRISM.
ICLP 2009: 24-35 |
| 61 | | Katsumi Inoue,
Taisuke Sato,
Masakazu Ishihata,
Yoshitaka Kameya,
Hidetomo Nabeshima:
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.
IJCAI 2009: 810-815 |
| 60 | | Taisuke Sato:
Statistical Learning of Probabilistic BDDs.
SAGA 2009: 15 |
| 59 | | Taisuke Sato:
Logic-Based Probabilistic Modeling.
WoLLIC 2009: 61-71 |
| 2008 |
|---|
| 58 | | Kenichi Kurihara,
Tsuyoshi Murata,
Taisuke Sato:
Identification of MCMC Samples for Clustering.
LKR 2008: 27-37 |
| 57 | | Taisuke Sato,
Yoshitaka Kameya:
New Advances in Logic-Based Probabilistic Modeling by PRISM.
Probabilistic Inductive Logic Programming 2008: 118-155 |
| 56 | | Taisuke Sato,
Yoshitaka Kameya,
Kenichi Kurihara:
Variational Bayes via propositionalized probability computation in PRISM.
Ann. Math. Artif. Intell. 54(1-3): 135-158 (2008) |
| 55 | | Taisuke Sato:
A glimpse of symbolic-statistical modeling by PRISM.
J. Intell. Inf. Syst. 31(2): 161-176 (2008) |
| 54 | | Neng-Fa Zhou,
Taisuke Sato,
Yi-Dong Shen:
Linear tabling strategies and optimizations.
TPLP 8(1): 81-109 (2008) |
| 2007 |
|---|
| 53 | | Shin-ichi Minato,
Ken Satoh,
Taisuke Sato:
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.
IJCAI 2007: 2550-2555 |
| 52 | | Taisuke Sato:
Inside-Outside Probability Computation for Belief Propagation.
IJCAI 2007: 2605-2610 |
| 51 | | Taisuke Sato,
Yoshitaka Kameya,
Kenichi Kurihara:
Variational Bayes via Propositionalization.
Probabilistic, Logical and Relational Learning - A Further Synthesis 2007 |
| 50 | | Neng-Fa Zhou,
Taisuke Sato,
Yi-Dong Shen:
Linear Tabling Strategies and Optimizations
CoRR abs/0705.3468: (2007) |
| 49 | | 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) |
| 2006 |
|---|
| 48 | | Masanobu Yamamoto,
Humikazu Mitomi,
Fuyuki Fujiwara,
Taisuke Sato:
Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar.
FG 2006: 317-323 |
| 47 | | Kenichi Kurihara,
Taisuke Sato:
Variational Bayesian Grammar Induction for Natural Language.
ICGI 2006: 84-96 |
| 2005 |
|---|
| 46 | | Taisuke Sato,
Yoshitaka Kameya,
Neng-Fa Zhou:
Generative Modeling with Failure in PRISM.
IJCAI 2005: 847-852 |
| 45 | | Taisuke 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 |
| 43 | | Taisuke Sato,
Yoshitaka Kameya:
Negation Elimination for Finite PCFGs.
LOPSTR 2004: 117-132 |
| 42 | | Neng-Fa Zhou,
Yi-Dong Shen,
Taisuke Sato:
Semi-naive evaluation in linear tabling.
PPDP 2004: 90-97 |
| 2003 |
|---|
| 41 | | Neng-Fa Zhou,
Taisuke Sato:
Efficient fixpoint computation in linear tabling.
PPDP 2003: 275-283 |
| 2002 |
|---|
| 40 | | Taisuke Sato,
Yoshitaka Kameya:
Statistical Abduction with Tabulation.
Computational Logic: Logic Programming and Beyond 2002: 567-587 |
| 39 | | Taisuke Sato:
EM Learning for Symbolic-Statistical Models in Statistical Abduction.
Progress in Discovery Science 2002: 189-200 |
| 2001 |
|---|
| 38 | | Nobuhisa Ueda,
Taisuke Sato:
Simplified Training Algorithms for Hierarchical Hidden Markov Models.
Discovery Science 2001: 401-415 |
| 37 | | Taisuke Sato:
Parameterized Logic Programs where Computing Meets Learning.
FLOPS 2001: 40-60 |
| 36 | | Taisuke Sato,
Shigeru Abe,
Yoshitaka Kameya,
Kiyoaki Shirai:
A Separate-and-Learn Approach to EM Learning of PCFGs.
NLPRS 2001: 255-262 |
| 35 | | Taisuke 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 |
|---|
| 33 | | Yoshitaka 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 |
| 31 | | Yoshitaka 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 |
|---|
| 29 | | Yoshitaka 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 |
|---|
| 1 | | Taisuke Sato:
SGS: A System For Mechanical Generation Of Japanese Sentences.
COLING 1980: 21-28 |
