Taisuke Sato - RankMe

113 papers A* 12A 4B 16C 8Misc 1Journal 40Unranked 30

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