Taisuke Sato

From MaRDI portal
Person:209152

Available identifiers

zbMath Open sato.taisukeMaRDI QIDQ209152

List of research outcomes

PublicationDate of PublicationType
Differentiable learning of matricized DNFs and its application to Boolean networks2023-08-22Paper
An equivalence preserving first order unfold/fold transformation system2022-08-16Paper
Logic programming in tensor spaces2021-12-17Paper
Learning to rank in PRISM2019-02-20Paper
Viterbi training in PRISM2017-11-09Paper
A linear algebraic approach to datalog evaluation2017-11-09Paper
Constraint-based probabilistic modeling for statistical abduction2012-05-08Paper
CHR(PRISM)-based probabilistic logic learning2010-08-19Paper
Variational Bayes via propositionalized probability computation in PRISM2009-09-18Paper
Logic-Based Probabilistic Modeling2009-07-02Paper
Variational Bayesian Grammar Induction for Natural Language2008-11-27Paper
Negation Elimination for Finite PCFGs2008-04-24Paper
New Advances in Logic-Based Probabilistic Modeling by PRISM2008-03-28Paper
Linear tabling strategies and optimizations2008-01-21Paper
https://portal.mardi4nfdi.de/entity/Q30444952004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47360622004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q47077792003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q45333652002-06-10Paper
Enumeration of success patterns in logic programs2002-05-13Paper
https://portal.mardi4nfdi.de/entity/Q27670592002-04-28Paper
https://portal.mardi4nfdi.de/entity/Q27636282002-01-21Paper
Tutorial series on web-computing2001-10-14Paper
https://portal.mardi4nfdi.de/entity/Q27406602001-09-17Paper
https://portal.mardi4nfdi.de/entity/Q42678231999-10-20Paper
Equivalence-preserving first-order unfold/fold transformation systems1993-01-16Paper
Completed logic programs and their consistency1990-01-01Paper
First order compiler: A deterministic logic program synthesis algorithm1989-01-01Paper
Existential continuation1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38305201988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37469201986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36574711983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36910531983-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Taisuke Sato