Neural-Symbolic Intuitionistic Reasoning

Artur S. d Avila Garcez, Luís C. Lamb, Dov M. Gabbay. Neural-Symbolic Intuitionistic Reasoning. In Ajith Abraham, Mario Köppen, Katrin Franke, editors, Design and Application of Hybrid Intelligent Systems, HIS03, the Third International Conference on Hybrid Intelligent Systems, Melbourne, Australia, December 14-17, 2003. Volume 105 of Frontiers in Artificial Intelligence and Applications, pages 399-408, IOS Press, 2003.

Abstract

Abstract is missing.