Learning and representing temporal knowledge in recurrent networks RV Borges, AA Garcez, LC Lamb IEEE Transactions on Neural Networks 22 (12), 2409-2421, 2011 | 59 | 2011 |
A connectionist cognitive model for temporal synchronisation and learning LC Lamb, RV Borges, ASA Garcez Proceedings of the national conference on artificial intelligence 22 (1), 827, 2007 | 35 | 2007 |
Integrating model verification and self-adaptation RV Borges, A d'Avila Garcez, LC Lamb Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 16 | 2010 |
Learning to adapt requirements specifications of evolving systems:(nier track) RV Borges, AA Garcez, LC Lamb, B Nuseibeh Software Engineering (ICSE), 2011 33rd International Conference on, 856-859, 2011 | 15 | 2011 |
Reasoning and learning about past temporal knowledge in connectionist models RV Borges, LC Lamb, AS Garcez Neural Networks, 2007. IJCNN 2007. International Joint Conference on, 1488-1493, 2007 | 6 | 2007 |
Representing, learning and extracting temporal knowledge from neural networks: a case study RV Borges, AA Garcez, LC Lamb International Conference on Artificial Neural Networks, 104-113, 2010 | 4 | 2010 |
A neural-symbolic perspective on analogy RV Borges, ASA Garcez, LC Lamb Behavioral and Brain Sciences 31 (4), 379-380, 2008 | 3 | 2008 |
Combining architectures for temporal learning in neural-symbolic systems RV Borges, LC Lamb, AS Garcez Hybrid Intelligent Systems, 2006. HIS'06. Sixth International Conference on …, 2006 | 3 | 2006 |
A neural-symbolic system for temporal reasoning with application to model verification and learning R Borges City University London, 2012 | 1 | 2012 |
Towards reasoning about the past in neural-symbolic systems RV Borges, LC Lamb, ASDA Garcez Proceedings of the 3rd International Conference on Neural-Symbolic Learning …, 2007 | 1 | 2007 |
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas RV Borges | | 2007 |