Contents of Report

[Data of Report]

Report Number:: TM0315
Date of Registration:: ***
English Title:: Inductive Inference of Logic Programs based on Algebraic Semantics
Japanese Title:: ***
English Author:: Y.Sakakibara
Japanese:: ***
Name of Organization to which author belongs:: FUJITSU
PDF:: tm0315.pdf

1	Introduction	.... 1
2	Tree automaton and linear mona	.... 1
3	Predicate characterization matrix	.... 1
4	Inductive inference algorithm for linear monadic program	.... 2
5	Concluding remarks	.... 2

目次をクリックすると、PDFファイルが表示されます。