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]
Abstract is missing.