Rule-Generating Abduction for Recursive Prolog


Authored By:Kouichi Hirata
Paper Title:Rule-Generating Abduction for Recursive Prolog
Book/Journal Title:Algorithmic Learning Theory, 4th International Workshop on Analogical and Inductive Inference, AII '94, 5th International Workshop on Algorithmic Learning Theory, ALT '94, Reinhardsbrunn Castle, Germany, October 1994, Proceedings
Vol. 872
Publisher:Springer-Verlag
Publication Date: 1994
Pages:121-136