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.

Authors

Artur S. d Avila Garcez

This author has not been identified. Look up 'Artur S. d Avila Garcez' in Google

Luís C. Lamb

This author has not been identified. Look up 'Luís C. Lamb' in Google

Dov M. Gabbay

This author has not been identified. Look up 'Dov M. Gabbay' in Google