@book{CTT100676103,
  author = {佐藤泰介 and 高橋篤司 and 伊東利哉 and 上野修一},
  title = {情報基礎数学},
  publisher = {オーム社},
  year = 2014,
}

@book{CTT100544052,
  author = {佐藤泰介 and 高橋篤司 and 伊東利哉 and 上野修一},
  title = {情報基礎数学},
  publisher = {昭晃堂},
  year = 2007,
}

@book{CTT100462303,
  author = {TAISUKE SATO},
  title = {Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future},
  publisher = {Springer},
  year = 2002,
}

@article{CTT100750369,
  author = {Chiaki Sakama and Katsumi Inoue and Taisuke Sato},
  title = {Linear Algebraic Characterization of Logic Programs},
  journal = {In: Gang Li, et al. (eds.), Knowledge Science, Engineering and Management: Proceedings of the 10th International Conference (KSEM 2017; Melbourne, VIC, Australia, August 19-20, 2017), Lecture Notes in Artificial Intelligence},
  year = 2017,
}

@article{CTT100723853,
  author = {Nicolas Schwind and Morgan Magnin and Katsumi Inoue and Tenda Okimoto and Taisuke Sato and Kazuhiro Minami and Hiroshi Maruyama},
  title = {Formalization of Resilience for Constraint-Based Dynamic Systems},
  journal = {Journal of Reliable Intelligent Environments},
  year = 2016,
}

@article{CTT100633874,
  author = {石畠正和 and 亀谷由隆 and 佐藤泰介 and 湊 真一},
  title = {BDD上の命題化計算に基づくEMアルゴリズム},
  journal = {人工知能学会論文誌},
  year = 2012,
}

@article{CTT100590404,
  author = {TAISUKE SATO},
  title = {Variational Bayes via propositionalized probability computation in PRISM},
  journal = {Annals of Mathematics and Artificial Intelligence},
  year = 2009,
}

@article{CTT100542925,
  author = {熊谷潤一 and 小島康夫 and 高重聡一 and 亀谷由隆 and 佐藤泰介},
  title = {頻出部分木発見手法を用いた遺伝的プログラミングの交通信号制御問題への適用},
  journal = {人工知能学会論文誌},
  year = 2007,
}

@article{CTT100542924,
  author = {三富文和 and 藤原冬樹 and 山本正信 and 佐藤泰介},
  title = {習慣的な行動の確率文脈自由文法に基づくベイズ識別},
  journal = {電子情報通信学会論文誌},
  year = 2005,
}

@article{CTT100482922,
  author = {Zhou Neng-Fa and Sato Taisuke},
  title = {Efficient Fixpoint Computation in Linear Tabling},
  journal = {Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003)},
  year = 2003,
}

@article{CTT100482915,
  author = {Sato Taisuke and Zhou Neng-Fa},
  title = {A New Perspective of PRISM Relational Modeling},
  journal = {Proceedings of IJCAI-03 workshop on Learning Statistical Models from Relational Data (SRL2003)},
  year = 2003,
}

@article{CTT100468432,
  author = {Sato, T. and Motomura, Y.},
  title = {Toward logical-probabilistic modeling of complex systems},
  journal = {Proc. of the International Conference on  Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet},
  year = 2002,
}

@article{CTT100462298,
  author = {TAISUKE SATO},
  title = {'Parameterized Logic Programs where Computing Meets Learning (Invited)},
  journal = {Proc. of FLOPS2001, LNCS 2024 Springer},
  year = 2001,
}

@article{CTT100466382,
  author = {Sato, T. and Kameya, Y.},
  title = {Parameter Learning of Logic Programs for Symbolic-statistical Modeling},
  journal = {Journal of Artificial Intelligence Research},
  year = 2001,
}

@article{CTT100462304,
  author = {T.Sato and Y.Kameya and S.Abe and K.Shirai},
  title = {A Separate-and-Learn Approach to EM Learning of PCFGs},
  journal = { Proc. of NLPRS2001},
  year = 2001,
}

@article{CTT100446162,
  author = {亀谷由隆 and 森高志 and 佐藤泰介},
  title = {WFSTに基づく確率文脈自由文法およびその拡張文法の高速EM学習法},
  journal = {自然言語処理},
  year = 2001,
}

@article{CTT100446156,
  author = {秋葉澄孝 and 佐藤泰介 and 元吉文男},
  title = {論理プログラムの新しい完備化と論理式の置換に基づく 計算手続きについて},
  journal = {情報処理学会論文誌},
  year = 2000,
}

@article{CTT100416544,
  author = {Sato, T. and Kameya, Y.},
  title = {PRISM : A Language for Symbolic-Statistical Modeling},
  journal = {Proc. of Int'l Joint Conf. on AI},
  year = 1997,
}

@article{CTT100416543,
  author = {Iba, H. and deGaris, H. and Sato, T.},
  title = {A Numerical Approach to Genetic Programing for System Identitication},
  journal = {Evolutionary Computation},
  year = 1996,
}

@article{CTT100416542,
  author = {TAISUKE SATO},
  title = {A Statistical Learning Method for Logic Programs with Distribution Semantics},
  journal = {Proc. of Int'l Conf.on Logic Programming95},
  year = 1995,
}

@article{CTT100416540,
  author = {伊庭斉志 and 佐藤泰介},
  title = {BUGS : A Bug-Based Search Strategy using Genetic Algorithms},
  journal = {JSAI},
  year = 1993,
}

@article{CTT100416541,
  author = {TAISUKE SATO},
  title = {Equivalence-Preserving First Order Unfold/fold Transformation Systems},
  journal = {Theoretical Computer Science},
  year = 1992,
}

@inproceedings{CTT100633877,
  author = {Masakazu ishihata and Taisuke Sato and Shin-ichi Minato},
  title = {Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs},
  booktitle = {AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, Lecture Notes in Computer Science},
  year = 2011,
}

@inproceedings{CTT100633868,
  author = {Masakazu Ishihata and Taisuke Sato},
  title = {Bayesian inference for statistical abduction using Markov chain Monte Carlo},
  booktitle = {JMLR Workshop and Conference Proceedings},
  year = 2011,
}

@inproceedings{CTT100633882,
  author = {Masakazu Ishihata and Yoshitaka Kameya and Taisuke Sato and Shin-ichi Minato},
  title = {Parameter learning for Bayesian networks on Shared Binary Decision Diagrams},
  booktitle = {},
  year = 2010,
}

@inproceedings{CTT100633880,
  author = {Masakazu ishihata and yoshitaka kameya and taisuke sato and Shin-ichi Minato},
  title = {An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models},
  booktitle = {JMLR: Workshop and Conference Proceedings},
  year = 2010,
}

@inproceedings{CTT100633873,
  author = {石畠正和 and 亀谷由隆 and 佐藤泰介 and 湊 真一},
  title = {命題論理に基づく確率モデルのための二部決定グラフと順序符号化を用いた効率的なEMアルゴリズム},
  booktitle = {電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習},
  year = 2010,
}

@inproceedings{CTT100590401,
  author = {Inoue, K. and Sato, T. and Ishihata, M. and Kameya, Y. and Nabeshima, H.},
  title = {Evaluating abductive hypotheses using an EM algorithm on BDDs},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100590403,
  author = {TAISUKE SATO},
  title = {Generative modeling by PRISM},
  booktitle = {},
  year = 2009,
}

@inproceedings{CTT100592356,
  author = {元田剛史 and 村田剛志 and 佐藤泰介},
  title = {実ネットワークに対する、各種リンク予測手法の適正について},
  booktitle = {2009年度人工知能学会全国大会（第23回）論文集},
  year = 2009,
}

@inproceedings{CTT100633886,
  author = {Masakazu Ishihata and Yoshitaka Kameya and Taisuke Sato and Shin-ichi Minato},
  title = {Propositionalizing the EM algorithm by BDDs},
  booktitle = {The 18th International Conference on Inductive Logic Programming: Late Breaking Papers},
  year = 2008,
}

@inproceedings{CTT100633889,
  author = {石畠正和 and 亀谷由隆 and 佐藤泰介 and 湊真一},
  title = {BDD上の命題化確率計算に基づくEMアルゴリズム},
  booktitle = {SIG-FPAI-A801},
  year = 2008,
}

@inproceedings{CTT100542926,
  author = {Sato, T.},
  title = {Inside-outside probability computation for belief propagation},
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence},
  year = 2007,
}

@inproceedings{CTT100542934,
  author = {Minato, S. and Satoh, K. and T. Sato},
  title = {Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs},
  booktitle = {Proceedings of the 20th International Joint Conference on Artificial Intelligence},
  year = 2007,
}

@inproceedings{CTT100691633,
  author = {Masanori Nakagawa and Asuka Terai and TAISUKE SATO},
  title = {A Computational Model of Metaphor Understanding Using a Statistical Analysis of Japanese Corpora Based on Soft Clustering –Toward a Metaphorical Search Engine},
  booktitle = {Proc. of Symposium on Large-Scale Knowledge Resources (LKR2006)},
  year = 2006,
}

@inproceedings{CTT100542932,
  author = {Kurihara, K. and Kameya, Y. and Sato, T.},
  title = {Discovering Concepts from Word Co-occurrences with a Relational Model},
  booktitle = {Proceedings of the International Workshop on Data-Mining and Statistical Science},
  year = 2006,
}

@inproceedings{CTT100542931,
  author = {Kurihara, K. and Sato, T.},
  title = {Variational Bayesian Grammar Induction for Natural Language},
  booktitle = {Proceedings of the 8th International Colloquium on Grammatical Inference},
  year = 2006,
}

@inproceedings{CTT100542933,
  author = {Izumi, Y. and Kameya, Y. and Sato, T.},
  title = {Parallel EM Learning for Symbolic-Statistical Models},
  booktitle = {Proceedings of the International Workshop on Data-Mining and Statistical Science},
  year = 2006,
}

@inproceedings{CTT100542923,
  author = {Sato, T. and Kameya, Y. and Zhou and N.-F.},
  title = {Generative modeling with failure in PRISM},
  booktitle = {19th International Joint Conference on Artificial Intelligence},
  year = 2005,
}

@misc{CTT100542927,
  author = {佐藤泰介 and 亀谷由隆},
  title = {グラフィカルモデルにおける論理的アプローチ},
  year = 2007,
}

@misc{CTT100596284,
  author = {TAISUKE SATO},
  title = {Declarative logic programming},
  year = 1978,
}



@phdthesis{CTT100596284,
  author = {TAISUKE SATO},
  title = {Declarative logic programming},
  school = {東京工業大学},
  year = 1978,
}