Refining First Order Theories with Neural Networks

Marco Botta, Attilio Giordana, Roberto Piola. Refining First Order Theories with Neural Networks. In Zbigniew W. Ras, Andrzej Skowron, editors, Foundations of Intelligent Systems, 10th International Symposium, ISMIS 97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings. Volume 1325 of Lecture Notes in Computer Science, pages 84-93, Springer, 1997.

Abstract

Abstract is missing.