journal

Polynomial-time Learning of Elementary Formal Systems.

Satoru Miyano, Ayumi Shinohara, Takeshi Shinohara

New Gener. Comput. Vol.18, pp.217-242 (2000), [peer-reviewed]

DOI External Link

Abstract / 概要

An elementary formal system (EFS) is a logic program consisting of definite clauses whose arguments have patterns instead of first-order terms. We investig

DOI: 10.1007/BF03037530