| 2021 | KR | Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis. | Taisuke Sato, Ryosuke Kojima |
| 2020 | ICAART | From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. | Taisuke Sato, Chiaki Sakama, Katsumi Inoue |
| 2019 | IJCAI | Logical Inference as Cost Minimization in Vector Spaces. | Taisuke Sato, Ryosuke Kojima |
| 2019 | NeSy | T-PRISM: A tensorized logic programming language for data modelling. | Ryosuke Kojima, Taisuke Sato |
| 2018 | IJCAI | Abducing Relations in Continuous Spaces. | Taisuke Sato, Katsumi Inoue, Chiaki Sakama |
| 2017 | AAAI | Embedding Tarskian Semantics in Vector Spaces. | Taisuke Sato |
| 2017 | KSEM | Linear Algebraic Characterization of Logic Programs. | Chiaki Sakama, Katsumi Inoue, Taisuke Sato |
| 2015 | APCC | Boxcan: A platform realizing fast retrieval of parent-child tree of containers and inner objects over EPCIS events. | Yuki Sato, Taisuke Sato, Jin Mitsugi |
| 2014 | ILP | Goal and Plan Recognition via Parse Trees Using Prefix and Infix Probability Computation. | Ryosuke Kojima, Taisuke Sato |
| 2012 | ICLP | Tabling for infinite probability computation. | Taisuke Sato, Philipp J. Meyer |
| 2012 | SDM | RP-growth: Top-k Mining of Relevant Patterns with Minimum Support Raising. | Yoshitaka Kameya, Taisuke Sato |
| 2011 | IJCAI | A General MCMC Method for Bayesian Inference in Logic-Based Probabilistic Modeling. | Taisuke Sato |
| 2011 | ILP | Variational Bayes Inference for Logic-Based Probabilistic Models on BDDs. | Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato |
| 2011 | ICTAI | Verbal Characterization of Probabilistic Clusters Using Minimal Discriminative Propositions. | Yoshitaka Kameya, Satoru Nakamura, Tatsuya Iwasaki, Taisuke Sato |
| 2010 | ICTAI | Mode-Directed Tabling for Dynamic Programming, Machine Learning, and Constraint Solving. | Neng-Fa Zhou, Yoshitaka Kameya, Taisuke Sato |
| 2009 | ICLP | Generative Modeling by PRISM. | Taisuke Sato |
| 2009 | IJCAI | Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. | Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima |
| 2009 | WoLLIC | Logic-Based Probabilistic Modeling. | Taisuke Sato |
| 2007 | IJCAI | Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. | Shin-ichi Minato, Ken Satoh, Taisuke Sato |
| 2007 | IJCAI | Inside-Outside Probability Computation for Belief Propagation. | Taisuke Sato |
| 2005 | IJCAI | Generative Modeling with Failure in PRISM. | Taisuke Sato, Yoshitaka Kameya, Neng-Fa Zhou |
| 2004 | ECAI | Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing. | Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou |
| 2004 | LOPSTR | Negation Elimination for Finite PCFGs. | Taisuke Sato, Yoshitaka Kameya |
| 2004 | PPDP | Semi-naive evaluation in linear tabling. | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
| 2003 | PPDP | Efficient fixpoint computation in linear tabling. | Neng-Fa Zhou, Taisuke Sato |
| 2001 | DIS | Simplified Training Algorithms for Hierarchical Hidden Markov Models. | Nobuhisa Ueda, Taisuke Sato |
| 2001 | FLOPS | Parameterized Logic Programs where Computing Meets Learning. | Taisuke Sato |
| 1999 | DIS | A Graphical Method for Parameter Learning of Symbolic-Statistical Models. | Yoshitaka Kameya, Nobuhisa Ueda, Taisuke Sato |
| 1999 | ICLP | Reactive Logic Programming by Reinforcement Learning. | Taisuke Sato, Satoshi Funada |
| 1998 | DIS | Abstracting a Human's Decision Process by PRISM. | Yoshitaka Kameya, Taisuke Sato |
| 1997 | IJCAI | PRISM: A Language for Symbolic-Statistical Modeling. | Taisuke Sato, Yoshitaka Kameya |
| 1995 | ICLP | A Statistical Learning Method for Logic Programs with Distribution Semantics. | Taisuke Sato |
| 1994 | ICEC | System Identification Approach to Genetic Programming. | Hitoshi Iba, Taisuke Sato, Hugo de Garis |
| 1994 | PPSN | Genetic Programming with Local Hill-Climbing. | Hitoshi Iba, Hugo de Garis, Taisuke Sato |
| 1993 | ALT | Inductive Resolution. | Taisuke Sato, Sumitaka Akiba |
| 1993 | IJCAI | Evolutionary Learning Strategy using Bug-Based Search. | Hitoshi Iba, Tetsuya Higuchi, Hugo de Garis, Taisuke Sato |
| 1992 | ICLP | Meta-Programming through a Truth Predicate. | Taisuke Sato |
| 1992 | PPSN | BUGS: A Bug-Based Search Strategy using Genetic Algorithms. | Hitoshi Iba, Sumitaka Akiba, Tetsuya Higuchi, Taisuke Sato |
| 1991 | ICLP | Full First Order Logic Programming and Truth Predicate. | Taisuke Sato |
| 1986 | ICLP | OLD Resolution with Tabulation. | Hisao Tamaki, Taisuke Sato |
| 1984 | ICLP | Unfold/Fold Transformation of Logic Programs. | Hisao Tamaki, Taisuke Sato |
| 1983 | ICALP | Enumeration of Success Patterns in Logic Programs. | Taisuke Sato, Hisao Tamaki |
| 1982 | ICLP | Negation and Semantics of Prolog Programs. | Taisuke Sato |
| 1980 | COLING | SGS: A System For Mechanical Generation Of Japanese Sentences. | Taisuke Sato |
| 1979 | IJCAI | Predictive Control Parser: Extended LINGOL. | Hozumi Tanaka, Taisuke Sato, Fumio Motoyoshi |
| 1979 | IJCAI | SYSP: A New Programming Language for the Next Generation. | Toshio Yokoi, Shooichi Yokoyama, Taisuke Sato, Fumio Motoyoshi, Kazuhiro Fuchi |