Taisuke Sato

ORCID

Publication Activity (10 Years)

Years Active: 1979-2023
Publications (10 Years): 22

Top Venues

CoRR

Theory Pract. Log. Program.

IJCAI

Mach. Learn.

Publications

Taisuke Sato, Katsumi Inoue
Differentiable learning of matricized DNFs and its application to Boolean networks. Mach. Learn. 112 (8) (2023)
Taisuke Sato, Akihiro Takemura, Katsumi Inoue
Towards end-to-end ASP computation. CoRR (2023)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Logic programming in tensor spaces. Ann. Math. Artif. Intell. 89 (12) (2021)
Takaki Kobayashi, Akiomi Ushida, Taisuke Sato
Pseudo-Laminarization of Mixed Microbubble Water and Complex Fluids in Capillary Flows. Symmetry 13 (7) (2021)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
An efficient reasoning method on logic programming using partial evaluation in vector spaces. J. Log. Comput. 31 (5) (2021)
Taisuke Sato, Ryosuke Kojima
Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis. KR (2021)
Taisuke Sato, Ryosuke Kojima
MatSat: a matrix-based differentiable SAT solver. CoRR (2021)
Taisuke Sato, Chiaki Sakama, Katsumi Inoue
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) (2020)
Taisuke Sato, Ryosuke Kojima
Logical Inference as Cost Minimization in Vector Spaces. IJCAI (2019)
Ryosuke Kojima, Taisuke Sato
T-PRISM: A tensorized logic programming language for data modelling. NeSy@IJCAI (2019)
Ryosuke Kojima, Taisuke Sato
A tensorized logic programming language for large-scale data. CoRR (2019)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
Computing Logic Programming Semantics in Linear Algebra. MIWAI (2018)
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
Partial Evaluation of Logic Programs in Vector Spaces. CoRR (2018)
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
Abducing Relations in Continuous Spaces. IJCAI (2018)
Ryosuke Kojima, Taisuke Sato
Learning to rank in PRISM. Int. J. Approx. Reason. 93 (2018)
Taisuke Sato
Embedding Tarskian Semantics in Vector Spaces. CoRR (2017)
Taisuke Sato
Embedding Tarskian Semantics in Vector Spaces. AAAI Workshops (2017)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Linear Algebraic Characterization of Logic Programs. KSEM (2017)
Taisuke Sato
A linear algebraic approach to datalog evaluation. Theory Pract. Log. Program. 17 (3) (2017)
Taisuke Sato
Learning probability by comparison. AMBN (2017)
Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama
Formalization of resilience for constraint-based dynamic systems. J. Reliab. Intell. Environ. 2 (1) (2016)
Taisuke Sato
A Linear Algebraic Approach to Datalog Evaluation. CoRR (2016)
James Cussens, Luc De Raedt, Angelika Kimmig, Taisuke Sato
Introduction to the special issue on probability, logic and learning. Theory Pract. Log. Program. 15 (2) (2015)
Yuki Sato, Taisuke Sato, Jin Mitsugi
Boxcan: A platform realizing fast retrieval of parent-child tree of containers and inner objects over EPCIS events. APCC (2015)
Taisuke Sato, Keiichi Kubota
Viterbi training in PRISM. Theory Pract. Log. Program. 15 (2) (2015)
Taisuke Sato, Philipp J. Meyer
Infinite probability computation by cyclic explanation graphs. Theory Pract. Log. Program. 14 (6) (2014)
Ryosuke Kojima, Taisuke Sato
Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation. ILP (2014)
Taisuke Sato, Keiichi Kubota, Yoshitaka Kameya
A Logic-based Approach to Generatively Defined Discriminative Modeling. CoRR (2014)
Yoshitaka Kameya, Takashi Mori, Taisuke Sato
Using WFSTs for Efficient EM Learning of Probabilistic CFGs and Their Extensions. Inf. Media Technol. 9 (4) (2014)
Taisuke Sato, Keiichi Kubota
Viterbi training in PRISM CoRR (2013)
Taisuke Sato, Philipp J. Meyer
Infinite probability computation by cyclic explanation graphs. CoRR (2013)
Yoshitaka Kameya, Taisuke Sato
RP-growth: Top-k Mining of Relevant Patterns with Minimum Support Raising. SDM (2012)
Taisuke Sato, Philipp J. Meyer
Tabling for infinite probability computation. ICLP (Technical Communications) (2012)
Taisuke Sato
A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. IJCAI (2011)
Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato
Discretized Kinetic Models for Abductive Reasoning in Systems Biology. BIOSTEC (Selected Papers) (2011)
Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. Australasian Conference on Artificial Intelligence (2011)
Taisuke Sato, Masakazu Ishihata, Katsumi Inoue
Constraint-based probabilistic modeling for statistical abduction. Mach. Learn. 83 (2) (2011)
Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato
Verbal Characterization of Probabilistic Clusters using Minimal Discriminative Propositions CoRR (2011)
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato
Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs. ILP (2011)
Yoshitaka Kameya, Taisuke Sato
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling CoRR (2011)
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)
Masakazu Ishihata, Taisuke Sato
Bayesian inference for statistical abduction using Markov chain Monte Carlo. ACML (2011)
Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato
Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions. ICTAI (2011)
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato
An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. ACML (2010)
Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato
Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. ICTAI (2) (2010)
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
CHR(PRISM)-based Probabilistic Logic Learning CoRR (2010)
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato
CHR(PRISM)-based probabilistic logic learning. Theory Pract. Log. Program. 10 (4-6) (2010)
Taisuke Sato
Statistical Learning of Probabilistic BDDs. SAGA (2009)
Taisuke Sato
Logic-Based Probabilistic Modeling. WoLLIC (2009)
Taisuke Sato
Generative Modeling by PRISM. ICLP (2009)
Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI (2009)
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Linear tabling strategies and optimizations. Theory Pract. Log. Program. 8 (1) (2008)
Kenichi Kurihara, Tsuyoshi Murata, Taisuke Sato
Identification of MCMC Samples for Clustering. LKR (2008)
Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara
Variational Bayes via propositionalized probability computation in PRISM. Ann. Math. Artif. Intell. 54 (1-3) (2008)
Taisuke Sato
A glimpse of symbolic-statistical modeling by PRISM. J. Intell. Inf. Syst. 31 (2) (2008)
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 38 (9) (2007)
Taisuke Sato, Yoshitaka Kameya, Kenichi Kurihara
Variational Bayes via Propositionalization. Probabilistic, Logical and Relational Learning - A Further Synthesis (2007)
Neng-Fa Zhou, Taisuke Sato, Yi-Dong Shen
Linear Tabling Strategies and Optimizations CoRR (2007)
Taisuke Sato
Inside-Outside Probability Computation for Belief Propagation. IJCAI (2007)
Shin-ichi Minato, Ken Satoh, Taisuke Sato
Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI (2007)
Kenichi Kurihara, Yoshitaka Kameya, Taisuke Sato
Discovering Concepts from Word Co-occurrences with a Relational Model. Inf. Media Technol. 2 (1) (2007)
Kenichi Kurihara, Taisuke Sato
Variational Bayesian Grammar Induction for Natural Language. ICGI (2006)
Masanobu Yamamoto, Humikazu Mitomi, Fuyuki Fujiwara, Taisuke Sato
Bayesian Classification of Task-Oriented Actions Based on Stochastic Context-Free Grammar. FGR (2006)
Taisuke Sato, Yoshitaka Kameya
Learning through failure. Probabilistic, Logical and Relational Learning (2005)
Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou
Generative Modeling with Failure in PRISM. IJCAI (2005)
Taisuke Sato, Yoshitaka Kameya
Negation Elimination for Finite PCFGs. LOPSTR (2004)
Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato
Semi-naive evaluation in linear tabling. PPDP (2004)
Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. ECAI (2004)
Neng-Fa Zhou, Taisuke Sato
Efficient fixpoint computation in linear tabling. PPDP (2003)
Taisuke Sato
EM Learning for Symbolic-Statistical Models in Statistical Abduction. Progress in Discovery Science (2002)
Taisuke Sato, Yoshitaka Kameya
Statistical Abduction with Tabulation. Computational Logic: Logic Programming and Beyond (2002)
Taisuke Sato
Parameterized Logic Programs where Computing Meets Learning. FLOPS (2001)
Taisuke Sato, Shigeru Abe, Yoshitaka Kameya, Kiyoaki Shirai
A Separate-and-Learn Approach to EM Learning of PCFGs. NLPRS (2001)
Taisuke Sato, Yoshitaka Kameya
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling. J. Artif. Intell. Res. 15 (2001)
Nobuhisa Ueda, Taisuke Sato
Simplified Training Algorithms for Hierarchical Hidden Markov Models. Discovery Science (2001)
Masayuki Numao, Taisuke Sato
Tutorial Series on Web-computing - Preface. New Gener. Comput. 19 (2) (2001)
Yoshitaka Kameya, Taisuke Sato
Efficient EM Learning with Tabulation for Parameterized Logic Programs. Computational Logic (2000)
Taisuke Sato, Satoshi Funada
Reactive Logic Programming by Reinforcement Learning. ICLP (1999)
Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato
A Graphical Method for Parameter Learning of Symbolic-Statistical Models. Discovery Science (1999)
Yoshitaka Kameya, Taisuke Sato
Abstracting a Human's Decision Process by PRISM. Discovery Science (1998)
Taisuke Sato, Yoshitaka Kameya
PRISM: A Language for Symbolic-Statistical Modeling. IJCAI (1997)
Hitoshi Iba, Hugo de Garis, Taisuke Sato
A Numerical Approach to Genetic Programming for System Identification. Evol. Comput. 3 (4) (1995)
Taisuke Sato
A Statistical Learning Method for Logic Programs with Distribution Semantics. ICLP (1995)
Hitoshi Iba, Taisuke Sato, Hugo de Garis
Temporal Data Processing Using Genetic Programming. ICGA (1995)
Hitoshi Iba, Hugo de Garis, Taisuke Sato
Genetic Programming with Local Hill-Climbing. PPSN (1994)
Hitoshi Iba, Taisuke Sato, Hugo de Garis
System Identification Approach to Genetic Programming. International Conference on Evolutionary Computation (1994)
Hitoshi Iba, Takio Kurita, Hugo de Garis, Taisuke Sato
System Identification using Structured Genetic Algorithms. ICGA (1993)
Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato
Evolutionary Learning Strategy using Bug-Based Search. IJCAI (1993)
Taisuke Sato, Sumitaka Akiba
Inductive Resolution. ALT (1993)
Sumitaka Akiba, Taisuke Sato
Learning Logic Programs and Regularities from Examples by Inductive Inference. Machine Intelligence 14 (1993)
Taisuke Sato
Equivalence-Preserving First-Order Unfold/Fold Transformation Systems. Theor. Comput. Sci. 105 (1) (1992)
Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato
BUGS: A Bug-Based Search Strategy using Genetic Algorithms. PPSN (1992)
Taisuke Sato
Meta-Programming through a Truth Predicate. JICSLP (1992)
Taisuke Sato, Fumio Motoyoshi
A Complete Top-Down Interpreter for First Order Programs. ISLP (1991)
Taisuke Sato
Full First Order Logic Programming and Truth Predicate. ICLP (1991)
Taisuke Sato
An Equivalence Preserving First Order Unfold/fold Transformation System. ALP (1990)
Taisuke Sato
Completed Logic Programs and their Consistency. J. Log. Program. 9 (1) (1990)
Taisuke Sato, Hisao Tamaki
Existential Continuation. New Gener. Comput. 6 (4) (1989)
Taisuke Sato, Hisao Tamaki
First Order Compiler: A Deterministic Logic Program Synthesis Algorithm. J. Symb. Comput. 8 (6) (1989)
Hisao Tamaki, Taisuke Sato
OLD Resolution with Tabulation. ICLP (1986)

Taisuke Sato.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Taisuke Sato