Taisuke Sato

According to our database, Taisuke Sato authored at least 100 papers between 1979 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Differentiable learning of matricized DNFs and its application to Boolean networks.

Taisuke Sato, Katsumi Inoue

Mach. Learn., 2023

Towards end-to-end ASP computation.

Taisuke Sato, Akihiro Takemura, Katsumi Inoue

CoRR, 2023

2021

Pseudo-Laminarization of Mixed Microbubble Water and Complex Fluids in Capillary Flows.

Takaki Kobayashi, Akiomi Ushida, Taisuke Sato

Symmetry, 2021

An efficient reasoning method on logic programming using partial evaluation in vector spaces.

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

J. Log. Comput., 2021

MatSat: a matrix-based differentiable SAT solver.

Taisuke Sato, Ryosuke Kojima

CoRR, 2021

Logic programming in tensor spaces.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Ann. Math. Artif. Intell., 2021

Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis.

Taisuke Sato, Ryosuke Kojima

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.

Taisuke Sato, Chiaki Sakama, Katsumi Inoue

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

A tensorized logic programming language for large-scale data.

Ryosuke Kojima, Taisuke Sato

CoRR, 2019

T-PRISM: A tensorized logic programming language for data modelling.

Ryosuke Kojima, Taisuke Sato

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Logical Inference as Cost Minimization in Vector Spaces.

Taisuke Sato, Ryosuke Kojima

Proceedings of the Artificial Intelligence. IJCAI 2019 International Workshops, 2019

2018

Learning to rank in PRISM.

Ryosuke Kojima, Taisuke Sato

Int. J. Approx. Reason., 2018

Partial Evaluation of Logic Programs in Vector Spaces.

Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue

CoRR, 2018

Computing Logic Programming Semantics in Linear Algebra.

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Abducing Relations in Continuous Spaces.

Taisuke Sato, Katsumi Inoue, Chiaki Sakama

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

A linear algebraic approach to datalog evaluation.

Taisuke Sato

Theory Pract. Log. Program., 2017

Linear Algebraic Characterization of Logic Programs.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Proceedings of the Knowledge Science, Engineering and Management, 2017

Learning probability by comparison.

Taisuke Sato

Proceedings of the 3rd Workshop on Advanced Methodologies for Bayesian Networks, 2017

Embedding Tarskian Semantics in Vector Spaces.

Taisuke Sato

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Formalization of resilience for constraint-based dynamic systems.

Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama

J. Reliab. Intell. Environ., 2016

2015

Viterbi training in PRISM.

Taisuke Sato, Keiichi Kubota

Theory Pract. Log. Program., 2015

Introduction to the special issue on probability, logic and learning.

James Cussens, Luc De Raedt, Angelika Kimmig, Taisuke Sato

Theory Pract. Log. Program., 2015

Boxcan: A platform realizing fast retrieval of parent-child tree of containers and inner objects over EPCIS events.

Yuki Sato, Taisuke Sato, Jin Mitsugi

Proceedings of the 21st Asia-Pacific Conference on Communications, 2015

2014

Infinite probability computation by cyclic explanation graphs.

Taisuke Sato, Philipp J. Meyer

Theory Pract. Log. Program., 2014

A Logic-based Approach to Generatively Defined Discriminative Modeling.

Taisuke Sato, Keiichi Kubota, Yoshitaka Kameya

CoRR, 2014

Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation.

Ryosuke Kojima, Taisuke Sato

Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

2012

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, 2012

Tabling for infinite probability computation.

Taisuke Sato, Philipp J. Meyer

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Constraint-based probabilistic modeling for statistical abduction.

Taisuke Sato, Masakazu Ishihata, Katsumi Inoue

Mach. Learn., 2011

Bayesian inference for statistical abduction using Markov chain Monte Carlo.

Masakazu Ishihata, Taisuke Sato

Proceedings of the 3rd Asian Conference on Machine Learning, 2011

Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs.

Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato

Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling.

Taisuke Sato

Proceedings of the IJCAI 2011, 2011

Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions.

Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Discretized Kinetic Models for Abductive Reasoning in Systems Biology.

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

Proceedings of the Biomedical Engineering Systems and Technologies, 2011

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

Proceedings of the BIOINFORMATICS 2011, 2011

Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs.

Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

2010

CHR(PRISM)-based probabilistic logic learning.

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

Theory Pract. Log. Program., 2010

An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models.

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

Proceedings of the 2nd Asian Conference on Machine Learning, 2010

Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving.

Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

2009

Logic-Based Probabilistic Modeling.

Taisuke Sato

Proceedings of the Logic, 2009

Statistical Learning of Probabilistic BDDs.

Taisuke Sato

Proceedings of the Stochastic Algorithms: Foundations and Applications, 2009

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.

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

Proceedings of the IJCAI 2009, 2009

Generative Modeling by PRISM.

Taisuke Sato

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Linear tabling strategies and optimizations.

Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen

Theory Pract. Log. Program., 2008

A glimpse of symbolic-statistical modeling by PRISM.

Taisuke Sato

J. Intell. Inf. Syst., 2008

Variational Bayes via propositionalized probability computation in PRISM.

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

Ann. Math. Artif. Intell., 2008

Identification of MCMC Samples for Clustering.

Kenichi Kurihara, Tsuyoshi Murata, Taisuke Sato

Proceedings of the Large-Scale Knowledge Resources. Construction and Application, 2008

New Advances in Logic-Based Probabilistic Modeling by PRISM.

Taisuke Sato, Yoshitaka Kameya

Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008

2007

Bayesian classification of a human custom based on stochastic context-free grammar.

Humikazu Mitomi, Fuyuki Fujiwara, Masanobu Yamamoto, Taisuke Sato

Syst. Comput. Jpn., 2007

Inside-Outside Probability Computation for Belief Propagation.

Taisuke Sato

Proceedings of the IJCAI 2007, 2007

Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.

Shin-ichi Minato, Ken Satoh, Taisuke Sato

Proceedings of the IJCAI 2007, 2007

Variational Bayes via Propositionalization.

Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara

Proceedings of the Probabilistic, Logical and Relational Learning - A Further Synthesis, 15.04., 2007

2006

Variational Bayesian Grammar Induction for Natural Language.

Kenichi Kurihara, Taisuke Sato

Proceedings of the Grammatical Inference: Algorithms and Applications, 2006

Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar.

Masanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato

Proceedings of the Seventh IEEE International Conference on Automatic Face and Gesture Recognition (FGR 2006), 2006

2005

Generative Modeling with Failure in PRISM.

Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Learning through failure.

Taisuke Sato, Yoshitaka Kameya

Proceedings of the Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January, 2005

2004

Semi-naive evaluation in linear tabling.

Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Negation Elimination for Finite PCFGs.

Taisuke Sato, Yoshitaka Kameya

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing.

Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Efficient fixpoint computation in linear tabling.

Neng-Fa Zhou, Taisuke Sato

Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

2002

EM Learning for Symbolic-Statistical Models in Statistical Abduction.

Taisuke Sato

Proceedings of the Progress in Discovery Science, 2002

Statistical Abduction with Tabulation.

Taisuke Sato, Yoshitaka Kameya

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Tutorial Series on Web-computing - Preface.

Masayuki Numao, Taisuke Sato

New Gener. Comput., 2001

Parameter Learning of Logic Programs for Symbolic-Statistical Modeling.

Taisuke Sato, Yoshitaka Kameya

J. Artif. Intell. Res., 2001

A Separate-and-Learn Approach to EM Learning of PCFGs.

Taisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai

Proceedings of the Sixth Natural Language Processing Pacific Rim Symposium, 2001

Parameterized Logic Programs where Computing Meets Learning.

Taisuke Sato

Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

Simplified Training Algorithms for Hierarchical Hidden Markov Models.

Nobuhisa Ueda, Taisuke Sato

Proceedings of the Discovery Science, 4th International Conference, DS 2001, Washington, 2001

2000

Efficient EM Learning with Tabulation for Parameterized Logic Programs.

Yoshitaka Kameya, Taisuke Sato

Proceedings of the Computational Logic, 2000

1999

Reactive Logic Programming by Reinforcement Learning.

Taisuke Sato, Satoshi Funada

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

A Graphical Method for Parameter Learning of Symbolic-Statistical Models.

Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato

Proceedings of the Discovery Science, 1999

1998

Abstracting a Human's Decision Process by PRISM.

Yoshitaka Kameya, Taisuke Sato

Proceedings of the Discovery Science, 1998

1997

PRISM: A Language for Symbolic-Statistical Modeling.

Taisuke Sato, Yoshitaka Kameya

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1995

A Numerical Approach to Genetic Programming for System Identification.

Hitoshi Iba, Hugo de Garis, Taisuke Sato

Evol. Comput., 1995

A Statistical Learning Method for Logic Programs with Distribution Semantics.

Taisuke Sato

Proceedings of the Logic Programming, 1995

Temporal Data Processing Using Genetic Programming.

Hitoshi Iba, Taisuke Sato, Hugo de Garis

Proceedings of the 6th International Conference on Genetic Algorithms, 1995

1994

Genetic Programming with Local Hill-Climbing.

Hitoshi Iba, Hugo de Garis, Taisuke Sato

Proceedings of the Parallel Problem Solving from Nature, 1994

System Identification Approach to Genetic Programming.

Hitoshi Iba, Taisuke Sato, Hugo de Garis

Proceedings of the First IEEE Conference on Evolutionary Computation, 1994

1993

Learning Logic Programs and Regularities from Examples by Inductive Inference.

Sumitaka Akiba, Taisuke Sato

Proceedings of the Machine Intelligence 14, 1993

Evolutionary Learning Strategy using Bug-Based Search.

Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

System Identification using Structured Genetic Algorithms.

Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato

Proceedings of the 5th International Conference on Genetic Algorithms, 1993

Inductive Resolution.

Taisuke Sato, Sumitaka Akiba

Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992

Equivalence-Preserving First-Order Unfold/Fold Transformation Systems.

Taisuke Sato

Theor. Comput. Sci., 1992

BUGS: A Bug-Based Search Strategy using Genetic Algorithms.

Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato

Proceedings of the Parallel Problem Solving from Nature 2, 1992

Meta-Programming through a Truth Predicate.

Taisuke Sato

Proceedings of the Logic Programming, 1992

1991

A Complete Top-Down Interpreter for First Order Programs.

Taisuke Sato, Fumio Motoyoshi

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Full First Order Logic Programming and Truth Predicate.

Taisuke Sato

Proceedings of the Logic Programming, 1991

1990

Completed Logic Programs and their Consistency.

Taisuke Sato

J. Log. Program., 1990

An Equivalence Preserving First Order Unfold/fold Transformation System.

Taisuke Sato

Proceedings of the Algebraic and Logic Programming, 1990

1989

Existential Continuation.

Taisuke Sato, Hisao Tamaki

New Gener. Comput., 1989

First Order Compiler: A Deterministic Logic Program Synthesis Algorithm.

Taisuke Sato, Hisao Tamaki

J. Symb. Comput., 1989

1986

OLD Resolution with Tabulation.

Hisao Tamaki, Taisuke Sato

Proceedings of the Third International Conference on Logic Programming, 1986

1984

Enumeration of Success Patterns in Logic Programs.

Taisuke Sato, Hisao Tamaki

Theor. Comput. Sci., 1984

Unfold/Fold Transformation of Logic Programs.

Hisao Tamaki, Taisuke Sato

Proceedings of the Second International Logic Programming Conference, 1984

Transformational Logic Program Synthesis.

Taisuke Sato, Hisao Tamaki

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

1983

Program Transformation Through Meta-shifting.

Hisao Tamaki, Taisuke Sato

New Gener. Comput., 1983

1982

An Algorithm for Intelligent Backtracking.

Taisuke Sato

Proceedings of the RIMS Symposium on Software Science and Engineering, 1982

Negation and Semantics of Prolog Programs.

Taisuke Sato

Proceedings of the First International Logic Programming Conference, 1982

1980

SGS: A System For Mechanical Generation Of Japanese Sentences.

Taisuke Sato

Proceedings of the 8th International Conference on Computational Linguistics, 1980

1979

SYSP: A New Programming Language for the Next Generation.

Toshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

Predictive Control Parser: Extended LINGOL.

Hozumi Tanaka, Taisuke Sato, Fumio Motoyoshi

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979