Taisuke Sato

Available identifiers

zbMath Open sato.taisukeMaRDI QIDQ209152

List of research outcomes

Publication	Date of Publication	Type
Differentiable learning of matricized DNFs and its application to Boolean networks	2023-08-22	Paper
An equivalence preserving first order unfold/fold transformation system	2022-08-16	Paper
Logic programming in tensor spaces	2021-12-17	Paper
Learning to rank in PRISM	2019-02-20	Paper
A linear algebraic approach to datalog evaluation	2017-11-09	Paper
Viterbi training in PRISM	2017-11-09	Paper
Constraint-based probabilistic modeling for statistical abduction	2012-05-08	Paper
CHR(PRISM)-based probabilistic logic learning	2010-08-19	Paper
Variational Bayes via propositionalized probability computation in PRISM	2009-09-18	Paper
Logic-Based Probabilistic Modeling	2009-07-02	Paper
Variational Bayesian Grammar Induction for Natural Language	2008-11-27	Paper
Negation Elimination for Finite PCFGs	2008-04-24	Paper
New Advances in Logic-Based Probabilistic Modeling by PRISM	2008-03-28	Paper
Linear tabling strategies and optimizations	2008-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q3044495	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736062	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4707779	2003-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q4533365	2002-06-10	Paper
Enumeration of success patterns in logic programs	2002-05-13	Paper
https://portal.mardi4nfdi.de/entity/Q2767059	2002-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q2763628	2002-01-21	Paper
Tutorial series on web-computing	2001-10-14	Paper
Normal forms of formulas based on axioms for equality and their applications to first-order languages	2001-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q4267823	1999-10-20	Paper
Equivalence-preserving first-order unfold/fold transformation systems	1993-01-16	Paper
Completed logic programs and their consistency	1990-01-01	Paper
First order compiler: A deterministic logic program synthesis algorithm	1989-01-01	Paper
Existential continuation	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830520	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3746920	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657471	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3691053	1983-01-01	Paper

Research outcomes over time

This page was built for person: Taisuke Sato