The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Taisuke Sato: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  51. Variational Bayes via Propositionalization. [Citation Graph (, )][DBLP]


  52. Generative Modeling by PRISM. [Citation Graph (, )][DBLP]


  53. Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. [Citation Graph (, )][DBLP]


  54. New Advances in Logic-Based Probabilistic Modeling by PRISM. [Citation Graph (, )][DBLP]


  55. Statistical Learning of Probabilistic BDDs. [Citation Graph (, )][DBLP]


  56. Logic-Based Probabilistic Modeling. [Citation Graph (, )][DBLP]


  57. Identification of MCMC Samples for Clustering. [Citation Graph (, )][DBLP]


  58. Variational Bayes via propositionalized probability computation in PRISM. [Citation Graph (, )][DBLP]


  59. CHR(PRISM)-based Probabilistic Logic Learning [Citation Graph (, )][DBLP]


Search in 0.031secs, Finished in 0.034secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002