BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Hungary
1 × Spain
2 × Italy
2 × Japan
2 × Sweden
2 × United Kingdom
3 × France
4 × USA
Collaborated with:
∅ H.Tamaki Y.Kameya N.Zhou P.Meyer S.Funada F.Motoyoshi Y.Shen J.Sneyers W.Meert J.Vennekens
Talks about:
program (10) logic (8) learn (5) comput (3) order (3) first (3) tabl (3) transform (2) parameter (2) unfold (2)

Person: Taisuke Sato

DBLP DBLP: Sato:Taisuke

Facilitated 1 volumes:

FLOPS 1999Ed

Contributed to:

ICLP 20122012
ICLP 20102010
ICLP 20092009
LOPSTR 20042004
PPDP 20042004
PPDP 20032003
FLOPS 20012001
CL 20002000
ICLP 19991999
ICLP 19951995
JICSLP 19921992
ICLP 19911991
ILPS 19911991
ALP 19901990
ICLP 19861986
ILPC 19841984
ICALP 19831983
ILPC 19821982

Wrote 18 papers:

ICLP-2012-SatoM #infinity #probability
Tabling for infinite probability computation (TS, PM), pp. 348–358.
ICLP-J-2010-SneyersMVKS #learning #logic #probability
CHR(PRISM)-based probabilistic logic learning (JS, WM, JV, YK, TS), pp. 433–447.
ICLP-2009-Sato #generative #modelling
Generative Modeling by PRISM (TS), pp. 24–35.
LOPSTR-2004-SatoK #finite
Negation Elimination for Finite PCFGs (TS, YK), pp. 117–132.
PPDP-2004-ZhouSS #evaluation #linear
Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
PPDP-2003-ZhouS #fixpoint #linear #performance
Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.
FLOPS-2001-Sato #learning #logic programming #source code
Parameterized Logic Programs where Computing Meets Learning (TS), pp. 40–60.
CL-2000-KameyaS #learning #logic programming #performance #source code
Efficient EM Learning with Tabulation for Parameterized Logic Programs (YK, TS), pp. 269–284.
ICLP-1999-SatoF #learning #logic programming
Reactive Logic Programming by Reinforcement Learning (TS, SF), p. 617.
ICLP-1995-Sato #learning #logic programming #semantics #source code #statistics
A Statistical Learning Method for Logic Programs with Distribution Semantics (TS), pp. 715–729.
JICSLP-1992-Sato #metaprogramming
Meta-Programming through a Truth Predicate (TS), pp. 526–540.
ICLP-1991-Sato #first-order #logic programming
Full First Order Logic Programming and Truth Predicate (TS), p. 948.
ISLP-1991-SatoM #first-order #interpreter #source code #top-down
A Complete Top-Down Interpreter for First Order Programs (TS, FM), pp. 35–53.
ALP-1990-Sato #equivalence #first-order
An Equivalence Preserving First Order Unfold/fold Transformation System (TS), pp. 173–188.
ICLP-1986-TamakiS86
OLD Resolution with Tabulation (HT, TS), pp. 84–98.
ILPC-1984-TamakiS84 #logic programming #source code
Unfold/Fold Transformation of Logic Programs (HT, TS), pp. 127–138.
ICALP-1983-SatoT #logic programming #source code
Enumeration of Success Patterns in Logic Programs (TS, HT), pp. 640–652.
ILPC-1982-Sato82 #prolog #semantics #source code
Negation and Semantics of Prolog Programs (TS), pp. 169–174.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.