Learning Logic Programs Using Definite Equality Theories as Background Knowledge Akihiro YAMAMOTO
Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 1995/05/25 Vol. E78-DNo. 5 ;
pp. 539-544 Type of Manuscript: Special Section PAPER (Special Issue on Algorithmic Learning Theory) Category: Computational Learning Theory Keyword: inductive logic programming, algorithmic learning theory, equational logic programming,