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
Viterbi training in PRISM	2017-11-09	Paper
A linear algebraic approach to datalog evaluation	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
https://portal.mardi4nfdi.de/entity/Q2740660	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Taisuke Sato