Learning First Order Theories

Marco Botta. Learning First Order Theories. In Zbigniew W. Ras, Maria Zemankova, editors, Methodologies for Intelligent Systems, 8th International Symposium, ISMIS 94, Charlotte, North Carolina, USA, October 16-19, 1994, Proceedings. Volume 869 of Lecture Notes in Computer Science, pages 356-365, Springer, 1994.

Abstract

Abstract is missing.