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 |