Learning Orthogonal ::::F::::-Horn Formulas

Akira Miyashiro, Eiji Takimoto, Yoshifumi Sakai, Akira Maruoka. Learning Orthogonal ::::F::::-Horn Formulas. In Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann, editors, Algorithmic Learning Theory, 6th International Conference, ALT 95, Fukuoka, Japan, October 18-20, 1995, Proceedings. Volume 997 of Lecture Notes in Computer Science, pages 110-122, Springer, 1995.

Abstract

Abstract is missing.