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