Combining Architectures for Temporal Learning in Neural-Symbolic Systems. - Rafael V. Borges; Luís C. Lamb; Artur S. d'Avila Garcez (HIS, 2006)

A Connectionist Cognitive Model for Temporal Synchronisation and Learning. - Luís C. Lamb; Rafael V. Borges; Artur S. d'Avila Garcez (AAAI, 2007)

Towards Reasoning about the Past in Neural-symbolic Systems. - Rafael V. Borges; Luís C. Lamb; Artur S. d'Avila Garcez (NeSy, 2007)

Reasoning and Learning About Past Temporal Knowledge in Connectionist Models. - Rafael V. Borges; Luís C. Lamb; Artur S. d'Avila Garcez (IJCNN, 2007)

Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study. - Rafael V. Borges; Artur S. d'Avila Garcez; Luís C. Lamb (ICANN (2), 2010)

Integrating model verification and self-adaptation. - Rafael V. Borges; Artur S. d'Avila Garcez; Luís C. Lamb (ASE, 2010)

Learning to adapt requirements specifications of evolving systems. - Rafael V. Borges; Artur S. d'Avila Garcez; Luís C. Lamb; Bashar Nuseibeh (ICSE, 2011)

Learning and Representing Temporal Knowledge in Recurrent Networks. - Rafael V. Borges; Artur S. d'Avila Garcez; Luís C. Lamb (IEEE Trans. Neural Networks, 2011)