Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net

Ricardo R. Jorge, Gerardo Reyes Salgado, Vianey Guadalupe Cruz Sánchez. Verification and validation of a Neural-Symbolic Hybrid System using an enhanced Petri net. In Yingxu Wang, Du Zhang, Jean-Claude Latombe, Witold Kinsner, editors, Proceedings of the Seventh IEEE International Conference on Cognitive Informatics, ICCI 2008, Stanford University, California, USA, August 14-16, 2008. pages 160-167, IEEE, 2008. [doi]

Authors

Ricardo R. Jorge

This author has not been identified. Look up 'Ricardo R. Jorge' in Google

Gerardo Reyes Salgado

This author has not been identified. Look up 'Gerardo Reyes Salgado' in Google

Vianey Guadalupe Cruz Sánchez

This author has not been identified. Look up 'Vianey Guadalupe Cruz Sánchez' in Google