 | 2011 |
| 8 |  | Rafael V. Borges,
Artur S. d'Avila Garcez,
Luís C. Lamb,
Bashar Nuseibeh:
Learning to adapt requirements specifications of evolving systems.
ICSE 2011: 856-859 |
| 7 |  | Rafael V. Borges,
Artur S. d'Avila Garcez,
Luís C. Lamb:
Learning and Representing Temporal Knowledge in Recurrent Networks.
IEEE Transactions on Neural Networks 22(12): 2409-2421 (2011) |
| 2010 |
| 6 |  | Rafael V. Borges,
Artur S. d'Avila Garcez,
Luís C. Lamb:
Integrating model verification and self-adaptation.
ASE 2010: 317-320 |
| 5 |  | Rafael V. Borges,
Artur S. d'Avila Garcez,
Luís C. Lamb:
Representing, Learning and Extracting Temporal Knowledge from Neural Networks: A Case Study.
ICANN (2) 2010: 104-113 |
| 2007 |
| 4 |  | Luís C. Lamb,
Rafael V. Borges,
Artur S. d'Avila Garcez:
A Connectionist Cognitive Model for Temporal Synchronisation and Learning.
AAAI 2007: 827-832 |
| 3 |  | Rafael V. Borges,
Luís C. Lamb,
Artur S. d'Avila Garcez:
Reasoning and Learning About Past Temporal Knowledge in Connectionist Models.
IJCNN 2007: 1488-1493 |
| 2 |  | Rafael V. Borges,
Luís C. Lamb,
Artur S. d'Avila Garcez:
Towards Reasoning about the Past in Neural-symbolic Systems.
NeSy 2007 |
| 2006 |
| 1 |  | Rafael V. Borges,
Luís C. Lamb,
Artur S. d'Avila Garcez:
Combining Architectures for Temporal Learning in Neural-Symbolic Systems.
HIS 2006: 46 |