Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

30

FLOPS
2001
Springer

favoriteEmaildiscussreport

103views Automated Reasoning» more FLOPS 2001»

Parameterized Logic Programs where Computing Meets Learning

14 years 3 months ago

Parameterized Logic Programs where Computing Meets Learning

Download www.jst.go.jp

Taisuke Sato

Real-time Traffic

Automated Reasoning | FLOPS 2001 |

claim paper

Related Content

» Parameter Learning of Logic Programs for SymbolicStatistical Modeling

» Yet More Efficient EM Learning for Parameterized Logic Programs by InterGoal Sharing

» Parameterized Modal Satisfiability

» Query Optimization in Inductive Logic Programming by Reordering Literals

» Deductive Databases Theory Meets Practice

» Learning an Approximation to Inductive Logic Programming Clause Evaluation

» HigherOrder and Modal Logic as a Framework for ExplanationBased Generalization

» Experiences with teaching design patterns

» Teaching Programming Principles through a Game Engine

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FLOPS
Authors	Taisuke Sato

Comments (0)