Tetsuhiro Miyahara

INDUCTIVE INFERNCE BY ITERATIVELY WORKING AND CONSISTENT STRATEGIES WITH ANOMALIES

A note on iteratively working strategies in inductive inference

Refutable inference of functions computed by loop programs

Discovery of Maximally Frequent Tag Tree Patterns in Semistructured Data

Refutable Inference of Functions Computed by Loop Programs

Learning of Primitive Formal Systems Defining Labelled Ordered Tree Languages via Queries.

Learning of Elementary Formal Systems with Two Clauses using Queries and Their Languages(New Trends in Theory of Computation and Algorithm)

Discovery of Closed and Maximally Frequent Tag Tree Patterns from Semistructured Documents

Polynomial Time Inductive Inference of Ordered Term Trees with Contractible Variables from Positive Data (New Aspects of Theoretical Computer Science)

Polynomial Time Learnabilities of Tree Patterns with Internal Structured Variables from Queries (New Aspects of Theoretical Computer Science)