L.C.: Reasoning about time and knowledge in neural-symbolic learning systems. (2004)

by d’Avila Garcez, A Lamb
Venue:Advances in Neural Information Processing Systems 16. Proceedings of NIPS 2003,