{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,6]],"date-time":"2026-07-06T14:59:24Z","timestamp":1783349964331,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,21]]},"DOI":"10.1145\/1985793.1985924","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"856-859","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Learning to adapt requirements specifications of evolving systems (NIER track)"],"prefix":"10.1145","author":[{"given":"Rafael V.","family":"Borges","sequence":"first","affiliation":[{"name":"City University London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artur","family":"d'Avila Garcez","sequence":"additional","affiliation":[{"name":"City University London, London, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luis C.","family":"Lamb","sequence":"additional","affiliation":[{"name":"UFRGS, Brazil, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bashar","family":"Nuseibeh","sequence":"additional","affiliation":[{"name":"The Open University, UK, Lero, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_11"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029908"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646541.696188"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1592761.1592781"},{"key":"e_1_3_2_1_6_1","volume-title":"Neural-Symbolic Cognitive Reasoning","author":"Avila Garcez A. S.","year":"2009","unstructured":"A. S. d' Avila Garcez , L. C. Lamb , and D. M. Gabbay . Neural-Symbolic Cognitive Reasoning . Springer , 2009 . A. S. d'Avila Garcez, L. C. Lamb, and D. M. Gabbay. Neural-Symbolic Cognitive Reasoning. Springer, 2009."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872527"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2010.14"},{"key":"e_1_3_2_1_9_1","first-page":"827","volume-title":"Proc. of 22nd AAAI Conf. on Artificial Intelligence","author":"Lamb L. C.","year":"2007","unstructured":"L. C. Lamb , R. V. Borges , and A. S. d' Avila Garcez . A connectionist cognitive model for temporal synchronization and learning . In Proc. of 22nd AAAI Conf. on Artificial Intelligence , pages 827 -- 832 , 2007 . L. C. Lamb, R. V. Borges, and A. S. d'Avila Garcez. A connectionist cognitive model for temporal synchronization and learning. In Proc. of 22nd AAAI Conf. on Artificial Intelligence, pages 827--832, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.839317"},{"issue":"2","key":"e_1_3_2_1_11_1","first-page":"225","article-title":"Black box checking","volume":"7","author":"Peled D.","year":"2001","unstructured":"D. Peled , M. Y. Vardi , and M. Yannakakis . Black box checking . J. of Automata Languages and Combinatorics , 7 ( 2 ): 225 -- 246 , 2001 . D. Peled, M. Y. Vardi, and M. Yannakakis. Black box checking. J. of Automata Languages and Combinatorics, 7(2):225--246, 2001.","journal-title":"J. of Automata Languages and Combinatorics"},{"key":"e_1_3_2_1_12_1","first-page":"323","article-title":"Learning representations by back-propagating errors","author":"Rumelhart D.","year":"1986","unstructured":"D. Rumelhart , G. Hinton , and R. Williams . Learning representations by back-propagating errors . Nature , 323 , 1986 . D. Rumelhart, G. Hinton, and R. Williams. Learning representations by back-propagating errors. Nature, 323, 1986.","journal-title":"Nature"},{"key":"e_1_3_2_1_13_1","first-page":"415","volume-title":"FSTTCS","author":"Valiant L. G.","year":"2008","unstructured":"L. G. Valiant . Knowledge infusion : In pursuit of robustness in artificial intelligence . In FSTTCS , pages 415 -- 422 , 2008 . L. G. Valiant. Knowledge infusion: In pursuit of robustness in artificial intelligence. In FSTTCS, pages 415--422, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1036693"}],"event":{"name":"ICSE11: International Conference on Software Engineering","location":"Waikiki, Honolulu HI USA","acronym":"ICSE11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 33rd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985793.1985924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:18Z","timestamp":1750245738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":14,"alternative-id":["10.1145\/1985793.1985924","10.1145\/1985793"],"URL":"https:\/\/doi.org\/10.1145\/1985793.1985924","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}