Learning acyclic first-order Horn sentences from entailment
| Authored By: | Hiroki Arimura |
| Paper Title: | Learning acyclic first-order Horn sentences from entailment |
| Book/Journal Title: | Algorithmic Learning Theory, 8th International Workshop, ALT '97, Sendai, Japan, October 1997, Proceedings |
| Vol. 1316 | |
| Publisher: | Springer |
| Publication Date: | 1997 |
| Pages: | 432-445 |