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