| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Masakazu Ishihata, Taisuke Sato |
Bayesian inference for statistical abduction using Markov chain Monte Carlo.  |
Journal of Machine Learning Research - Proceedings Track  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Masakazu Ishihata, Katsumi Inoue |
Constraint-based probabilistic modeling for statistical abduction. |
Machine Learning |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato |
Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Taisuke Sato |
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato |
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato |
Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based Probabilistic Logic Learning |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato |
CHR(PRISM)-based probabilistic logic learning. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato |
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. |
ICTAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
Logic-Based Probabilistic Modeling. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima |
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Generative Modeling by PRISM. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
Statistical Learning of Probabilistic BDDs. |
SAGA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
A glimpse of symbolic-statistical modeling by PRISM. |
J. Intell. Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Symbolic-statistical modeling, Probabilistic context free grammar, PRISM |
| 1 | Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara |
Variational Bayes via propositionalized probability computation in PRISM. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T37, 62F15 |
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear tabling strategies and optimizations. |
TPLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Kurihara, Tsuyoshi Murata, Taisuke Sato |
Identification of MCMC Samples for Clustering. |
LKR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya |
New Advances in Logic-Based Probabilistic Modeling by PRISM. |
Probabilistic Inductive Logic Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen |
Linear Tabling Strategies and Optimizations |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shin-ichi Minato, Ken Satoh, Taisuke Sato |
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Inside-Outside Probability Computation for Belief Propagation. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara |
Variational Bayes via Propositionalization. |
Probabilistic, Logical and Relational Learning - A Further Synthesis |
2007 |
DBLP BibTeX RDF |
|
| 1 | Masanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato |
Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar. |
FG |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Kurihara, Taisuke Sato |
Variational Bayesian Grammar Induction for Natural Language. |
ICGI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou |
Generative Modeling with Failure in PRISM. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya |
Learning through failure. |
Probabilistic, Logical and Relational Learning |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou |
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
| 1 | Taisuke Sato, Yoshitaka Kameya |
Negation Elimination for Finite PCFGs. |
LOPSTR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Neng-Fa Zhou, Taisuke Sato |
Efficient fixpoint computation in linear tabling. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
linear tabling, prolog, recursion, tabling, optimization techniques, memoization |
| 1 | Taisuke Sato |
EM Learning for Symbolic-Statistical Models in Statistical Abduction. |
Progress in Discovery Science |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya |
Statistical Abduction with Tabulation. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya |
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. |
J. Artif. Intell. Res. (JAIR) |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Masayuki Numao, Taisuke Sato |
Tutorial Series on Web-computing - Preface. |
New Generation Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai |
A Separate-and-Learn Approach to EM Learning of PCFGs. |
NLPRS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Parameterized Logic Programs where Computing Meets Learning. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nobuhisa Ueda, Taisuke Sato |
Simplified Training Algorithms for Hierarchical Hidden Markov Models. |
Discovery Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Taisuke Sato |
Efficient EM Learning with Tabulation for Parameterized Logic Programs. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Satoshi Funada |
Reactive Logic Programming by Reinforcement Learning. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Aart Middeldorp, Taisuke Sato (eds.) |
Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings |
FLOPS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato |
A Graphical Method for Parameter Learning of Symbolic-Statistical Models. |
Discovery Science |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoshitaka Kameya, Taisuke Sato |
Abstracting a Human's Decision Process by PRISM. |
Discovery Science |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Yoshitaka Kameya |
PRISM: A Language for Symbolic-Statistical Modeling. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Iba, Hugo de Garis, Taisuke Sato |
A Numerical Approach to Genetic Programming for System Identification. |
Evolutionary Computation |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Iba, Taisuke Sato, Hugo de Garis |
Temporal Data Processing Using Genetic Programming. |
ICGA |
1995 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
A Statistical Learning Method for Logic Programs with Distribution Semantics. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Iba, Hugo de Garis, Taisuke Sato |
Genetic Programming with Local Hill-Climbing. |
PPSN |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Iba, Taisuke Sato, Hugo de Garis |
System Identification Approach to Genetic Programming. |
International Conference on Evolutionary Computation |
1994 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato |
Evolutionary Learning Strategy using Bug-Based Search. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
| 1 | Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato |
System Identification using Structured Genetic Algorithms. |
ICGA |
1993 |
DBLP BibTeX RDF |
|
| 1 | Sumitaka Akiba, Taisuke Sato |
Learning Logic Programs and Regularities from Examples by Inductive Inference. |
Machine Intelligence 14 |
1993 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Sumitaka Akiba |
Inductive Resolution. |
ALT |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato |
BUGS: A Bug-Based Search Strategy using Genetic Algorithms. |
PPSN |
1992 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Meta-Programming through a Truth Predicate. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Full First Order Logic Programming and Truth Predicate. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Fumio Motoyoshi |
A Complete Top-Down Interpreter for First Order Programs. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
Completed Logic Programs and their Consistency. |
J. Log. Program. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
An Equivalence Preserving First Order Unfold/fold Transformation System. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Hisao Tamaki |
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. |
J. Symb. Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Hisao Tamaki |
Existential Continuation. |
New Generation Comput. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisao Tamaki, Taisuke Sato |
OLD Resolution with Tabulation. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Hisao Tamaki |
Enumeration of Success Patterns in Logic Programs. |
Theor. Comput. Sci. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Hisao Tamaki, Taisuke Sato |
Unfold/Fold Transformation of Logic Programs. |
ICLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato, Hisao Tamaki |
Transformational Logic Program Synthesis. |
FGCS |
1984 |
DBLP BibTeX RDF |
|
| 1 | Hisao Tamaki, Taisuke Sato |
Program Transformation Through Meta-shifting. |
New Generation Comput. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato, Hisao Tamaki |
Enumeration of Success Patterns in Logic Programs. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
An Algorithm for Intelligent Backtracking. |
RIMS Symposium on Software Science and Engineering |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
Negation and Semantics of Prolog Programs. |
ICLP |
1982 |
DBLP BibTeX RDF |
|
| 1 | Taisuke Sato |
SGS: A System For Mechanical Generation Of Japanese Sentences. |
COLING |
1980 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")