SATO TAISUKE

Profile Information

Degree: Doctor of Engineering

Researcher number: 90272690
J-GLOBAL ID: 200901070275135107
researchmap Member ID: 1000181831

論理的なアプローチと確率的なアプローチを融合して，
人工知能の研究を行っています．

Research Interests

Research Areas

Informatics / Intelligent informatics /

Research History

Education

Committee Memberships

1996 - 1997

理事, 人工知能学会

Awards

2013

人工知能学会論文賞

佐藤泰介
2012

Distinguished Research Award, Association for Logic Programming

SATO TAISUKE
2001

言語処理学会論文賞
1995

Best Paper Restropective Award, Association for Logic Programming
1995

Best Paper Restropective Award, Association for Logic Programming
1994

人工知能学会論文賞
1987

日本ソフトウェア科学会高橋奨励賞受賞

Papers

Infinite probability computation by cyclic explanation graphs

Taisuke Sato, Philipp Meyer

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 14(6) 909-937, Nov, 2014 Peer-reviewed
A Logic-based Approach to Generatively Defined Discriminative Modeling.

Taisuke Sato, Keiichi Kubota, Yoshitaka Kameya

CoRR, abs/1410.3935, 2014 Peer-reviewed
Viterbi training in PRISM

Taisuke Sato, Keiichi Kubota

CoRR, abs/1303.5659, 2013 Peer-reviewed
Variational bayes inference for logic-based probabilistic models on BDDs

Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7207 189-203, 2012 Peer-reviewed
RP-growth: Top-k Mining of Relevant Patterns with Minimum Support Raising.

Yoshitaka Kameya, Taisuke Sato

Proceedings of the Twelfth SIAM International Conference on Data Mining, Anaheim, California, USA, April 26-28, 2012., 816-827, 2012 Peer-reviewed
Constraint-based probabilistic modeling for statistical abduction

Taisuke Sato, Masakazu Ishihata, Katsumi Inoue

Machine Learning, 83(2) 241-264, May, 2011 Peer-reviewed
Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions

Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato

CoRR, abs/1108.5002, 2011 Peer-reviewed
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling

Yoshitaka Kameya, Taisuke Sato

CoRR, abs/1106.1797, 2011 Peer-reviewed
Bayesian inference for statistical abduction using Markov chain Monte Carlo.

Masakazu Ishihata, Taisuke Sato

Proceedings of the 3rd Asian Conference on Machine Learning, ACML 2011, Taoyuan, Taiwan, November 13-15, 2011, 81-96, 2011 Peer-reviewed
A general MCMC method for Bayesian inference in logic-based probabilistic modeling

Taisuke Sato

IJCAI International Joint Conference on Artificial Intelligence, 1472-1477, 2011 Peer-reviewed
Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions

Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato

2011 23RD IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2011), 873-875, 2011 Peer-reviewed
KINETIC MODELS AND QUALITATIVE ABSTRACTION FOR RELATIONAL LEARNING IN SYSTEMS BIOLOGY

Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato

BIOINFORMATICS 2011, 47-54, 2011 Peer-reviewed
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs.

Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato

AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings, 203-212, 2011 Peer-reviewed
CHR(PRISM)-based probabilistic logic learning

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 10(4-6) 433-447, Jul, 2010 Peer-reviewed
CHR(PRISM)-based Probabilistic Logic Learning

Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato

CoRR, abs/1007.3858, 2010 Peer-reviewed
An EM algorithm on BDDs with order encoding for logic-based probibilistic models

Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato

PROCEEDINGS OF 2ND ASIAN CONFERENCE ON MACHINE LEARNING (ACML2010), 13 161-176, 2010 Peer-reviewed
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato

22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 2, 213-218, 2010 Peer-reviewed
Logic-Based Probabilistic Modeling

Taisuke Sato

LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 5514 61-71, 2009 Peer-reviewed
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS, 810-815, 2009 Peer-reviewed
Generative Modeling by PRISM

Taisuke Sato

LOGIC PROGRAMMING, 5649 24-35, 2009 Peer-reviewed

Misc.

Variational Bayes via propositionalized probability computation in PRISM

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 54(1-3) 135-158, Nov, 2008
Variational Bayes via propositionalized probability computation in PRISM

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 54(1-3) 135-158, Nov, 2008
頻出部分木発見手法を用いた遺伝的プログラミングの交通信号制御問題への適用

熊谷潤一, 小島康夫, 高重聡一, 亀谷由隆, 佐藤泰介

人工知能学会論文誌, 22(2) 127-139, 2007
グラフィカルモデルにおける論理的アプローチ

佐藤泰介, 亀谷由隆

人工知能学会誌, 22(3) 306-319, 2007
習慣的な行動の確率文脈自由文法に基づくベイズ識別

三富文和, 藤原冬樹, 山本正信, 佐藤泰介

電子情報通信学会論文誌, J88-D-II(4) 716-726, 2005
A New Perspective of PRISM Relational Modeling

Sato Taisuke, Zhou Neng-Fa

Proceedings of IJCAI-03 workshop on Learning Statistical Models from Relational Data (SRL2003), 133-139, 2003
Efficient Fixpoint Computation in Linear Tabling

Zhou Neng-Fa, Sato Taisuke

Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003), 275-283, 2003
A New Perspective of PRISM Relational Modeling

Sato Taisuke, Zhou Neng-Fa

Proceedings of IJCAI-03 workshop on Learning Statistical Models from Relational Data (SRL2003), 133-139, 2003
Efficient Fixpoint Computation in Linear Tabling

Zhou Neng-Fa, Sato Taisuke

Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP2003), 275-283, 2003
Toward logical-probabilistic modeling of complex systems

Sato, T, Motomura, Y

Proc. of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, 2002
Toward logical-probabilistic modeling of complex systems

Sato, T, Motomura, Y

Proc. of the International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, 2002
WFSTに基づく確率文脈自由文法およびその拡張文法の高速EM学習法

亀谷由隆, 森高志, 佐藤泰介

自然言語処理, 8(1) 49-84, 2001
'Parameterized Logic Programs where Computing Meets Learning (Invited)

TAISUKE SATO

Proc. of FLOPS2001, LNCS 2024 Springer, 40-60, 2001
A Separate-and-Learn Approach to EM Learning of PCFGs

T.Sato, Y.Kameya, S.Abe, K.Shirai

Proc. of NLPRS2001, 255-262, 2001
Parameter learning of logic programs for symbolic-statistical modeling

T Sato, Y Kameya

JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 15 391-454, 2001
'Parameterized Logic Programs where Computing Meets Learning (Invited)

TAISUKE SATO

Proc. of FLOPS2001, LNCS 2024 Springer, 40-60, 2001
A Separate-and-Learn Approach to EM Learning of PCFGs

T.Sato, Y.Kameya, S.Abe, K.Shirai

Proc. of NLPRS2001, 255-262, 2001
Parameter Learning of Logic Programs for Symbolic-statistical Modeling

Sato, T, Kameya, Y

Journal of Artificial Intelligence Research, 15 391-454, 2001
論理プログラムの新しい完備化と論理式の置換に基づく計算手続きについて

秋葉澄孝, 佐藤泰介, 元吉文男

情報処理学会論文誌, 41(11) 3023-3036, 2000
PRISM : A Language for Symbolic-Statistical Modeling

Sato, T, Kameya, Y

Proc. of Int'l Joint Conf. on AI, 715-729, 1997

Books and Other Publications

情報基礎数学

昭晃堂, 2007 (ISBN: 9784785631604)
Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future

Springer, 2002
Statistical abduction with tabulation in Computational Logic: From Logic Programming into the Future

Springer, 2002

Presentations

実ネットワークに対する、各種リンク予測手法の適正について

2009年度人工知能学会全国大会（第23回）論文集, 2009
Evaluating abductive hypotheses using an EM algorithm on BDDs

The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), 2009
Generative modeling by PRISM

The 25th International Conference on Logic Programming (ICLP-2009),, 2009
Evaluating abductive hypotheses using an EM algorithm on BDDs

The 21st International Joint Conference on Artificial Intelligence (IJCAI-2009), 2009
Generative modeling by PRISM

The 25th International Conference on Logic Programming (ICLP-2009),, 2009
Inside-outside probability computation for belief propagation

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Inside-outside probability computation for belief propagation

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Compiling Bayesian networks by symbolic probability calculation based on Zero-suppressed BDDs

Proceedings of the 20th International Joint Conference on Artificial Intelligence, 2007
Variational Bayesian Grammar Induction for Natural Language

Proceedings of the 8th International Colloquium on Grammatical Inference, 2006
Discovering Concepts from Word Co-occurrences with a Relational Model

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Parallel EM Learning for Symbolic-Statistical Models

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Variational Bayesian Grammar Induction for Natural Language

Proceedings of the 8th International Colloquium on Grammatical Inference, 2006
Discovering Concepts from Word Co-occurrences with a Relational Model

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Parallel EM Learning for Symbolic-Statistical Models

Proceedings of the International Workshop on Data-Mining and Statistical Science, 2006
Generative modeling with failure in PRISM

19th International Joint Conference on Artificial Intelligence, 2005
Generative modeling with failure in PRISM

19th International Joint Conference on Artificial Intelligence, 2005

Profile Information

Research Interests

Research Areas

Research History

Education

Committee Memberships

Awards

Papers

Misc.

Books and Other Publications

Presentations

Professional Memberships

Research Projects

Menu