{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:14:21Z","timestamp":1760044461173,"version":"3.30.2"},"reference-count":49,"publisher":"Institution of Engineering and Technology (IET)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEE Proc., Softw."],"published-print":{"date-parts":[[2003]]},"DOI":"10.1049\/ip-sen:20030207","type":"journal-article","created":{"date-parts":[[2003,4,22]],"date-time":"2003-04-22T13:07:14Z","timestamp":1051016834000},"page":"25","source":"Crossref","is-referenced-by-count":20,"title":["Combining abductive reasoning and inductive learning to evolve requirements specifications"],"prefix":"10.1049","volume":"150","author":[{"given":"A.S.","family":"d'Avila Garcez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Nuseibeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/ip-sen:20030207_r1","first-page":"354","author":"d'Avila Garcez","year":"2001","journal-title":"Proceedings of the 16th IEEE International Conference on Automated software engineering ASE01"},{"key":"10.1049\/ip-sen:20030207_r2","unstructured":"Kakas, A.C., Kowalski, R.A., and Toni, F.: \u2018The role of abduction in logic programming\u2019, Gabbay, D.M., Hogger, C.J., Robinson, J.A., Handbook of Logic in Artificial Intelligence and Logic Programming, (Oxford Science Publications 1994),5, p. 235\u2013324"},{"key":"10.1049\/ip-sen:20030207_r3","unstructured":"Mitchell, T.M.: \u2018Machine learning\u2019, (McGraw-Hill 1997)"},{"key":"10.1049\/ip-sen:20030207_r4","unstructured":"\u2018An abductive approach for analysing event-based requirements specifications\u2019, Technical, TR2001\u22157, 2001"},{"key":"10.1049\/ip-sen:20030207_r5","first-page":"59","volume":"11","author":"d'Avila Garcez","year":"1999"},{"key":"10.1049\/ip-sen:20030207_r6","doi-asserted-by":"crossref","unstructured":"Rumelhart, D.E., Hinton, G.E., and Williams, R.J.: \u2018Learning internal representations by error propagation\u2019, Rumelhart, D.E., McClelland, J.L., Parallel Distributed Processing: Explorations in the Microstructure of Cognition, (MIT Press 1986),1, p. 318\u2013362","DOI":"10.7551\/mitpress\/5236.001.0001"},{"key":"10.1049\/ip-sen:20030207_r7","unstructured":"\u2018Model checking complete requirements specifications using abstraction\u2019, Technical, NRL-7999, 1997"},{"key":"10.1049\/ip-sen:20030207_r8","first-page":"510","volume":"50","author":"Alchourron","year":"1985"},{"key":"10.1049\/ip-sen:20030207_r9","unstructured":"Flach, P.A., and Kakas, A.C.: \u2018On the relation between abduction and inductive learning\u2019, Gabbay, D.M., Kruse, R., Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 4: Abductive Reasoning and Learning, 2000), p. 1\u201333"},{"key":"10.1049\/ip-sen:20030207_r10","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/0950-7051(96)81920-4","volume":"8","author":"Andrews","year":"1995","ISSN":"https:\/\/id.crossref.org\/issn\/0950-7051","issn-type":"print"},{"key":"10.1049\/ip-sen:20030207_r11","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(00)00077-1"},{"key":"10.1049\/ip-sen:20030207_r12","first-page":"195","volume":"8","author":"McCluskey","year":"2001"},{"journal-title":"Proceedings of the 3rd ICSE Workshop on Intelligent software engineering","year":"2000","author":"Russo","key":"10.1049\/ip-sen:20030207_r13"},{"key":"10.1049\/ip-sen:20030207_r14","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/3-540-45619-8_3","author":"Russo","year":"2002","journal-title":"Proceedings of 18th International Conference on Logic programming ICLP02"},{"key":"10.1049\/ip-sen:20030207_r15","doi-asserted-by":"crossref","unstructured":"Michalski, R.S.: \u2018Learning strategies and automated knowledge acquisition\u2019, Computational models of learning, (Springer-Verlag 1987),Symbolic Computation","DOI":"10.1007\/978-3-642-82742-6_1"},{"key":"10.1049\/ip-sen:20030207_r16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/64.331477","volume":"10","author":"Hirsh","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/0885-9000","issn-type":"print"},{"key":"10.1049\/ip-sen:20030207_r17","unstructured":"Lavrac, N., and Dzeroski, S.: \u2018Inductive logic programming: techniques and applications\u2019, (Ellis Horwood 1994),Series in Artificial Intelligence"},{"key":"10.1049\/ip-sen:20030207_r18","first-page":"108","author":"Gamberger","year":"1997","journal-title":"Proceedings of the European Conference on Machine learning"},{"key":"10.1049\/ip-sen:20030207_r19","first-page":"81","volume":"1","author":"Quinlan","year":"1986","ISSN":"https:\/\/id.crossref.org\/issn\/0885-6125","issn-type":"print"},{"key":"10.1049\/ip-sen:20030207_r20","unstructured":"Haykin, S.: \u2018Neural networks: a comprehensive foundation\u2019, (Prentice Hall 1999)"},{"key":"10.1049\/ip-sen:20030207_r21","doi-asserted-by":"crossref","unstructured":"Cloete, I., Zurada, J.M., \u2018Knowledge-based neurocomputing\u2019, (The MIT Press 2000)","DOI":"10.7551\/mitpress\/4070.001.0001"},{"key":"10.1049\/ip-sen:20030207_r22","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"10.1049\/ip-sen:20030207_r23","unstructured":"et al. \u2018The MONK's problems: A performance comparison of different learning algorithms\u2019, Technical, CMU-CS-91-197, 1991"},{"key":"10.1049\/ip-sen:20030207_r24","doi-asserted-by":"crossref","unstructured":"d'Avila Garcez, A.S., Broda, K., and Gabbay, D.M.: \u2018Neural-symbolic learning systems: Foundations and applications\u2019, (Springer-Verlag 2002),Perspectives in Neural Computing","DOI":"10.1007\/978-1-4471-0211-3_9"},{"key":"10.1049\/ip-sen:20030207_r25","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: \u2018Foundations of logic programming\u2019, (Springer-Verlag 1987)","DOI":"10.1007\/978-3-642-83189-8"},{"key":"10.1049\/ip-sen:20030207_r26","first-page":"1070","author":"Gelfond","year":"1988","journal-title":"Proceedings of the 5th Logic programming Symposium"},{"key":"10.1049\/ip-sen:20030207_r27","unstructured":"Bose, N.K., and Liang, P.: \u2018Neural networks fundamentals with graphs, algorithms, and applications\u2019, (McGraw-Hill 1996)"},{"key":"10.1049\/ip-sen:20030207_r28","unstructured":"\u2018Example NRL\u2215SCR software requirements for an automobile cruise control and monitoring system\u2019, Technical, TR-87-07, 1987"},{"key":"10.1049\/ip-sen:20030207_r29","doi-asserted-by":"publisher","DOI":"10.1109\/52.469758"},{"key":"10.1049\/ip-sen:20030207_r30","first-page":"38","author":"d'Avila Garcez","year":"2000","journal-title":"Proceedings of ECAI2000, Workshop on the Foundations of Connectionist-Symbolic Integration"},{"key":"10.1049\/ip-sen:20030207_r31","doi-asserted-by":"crossref","first-page":"399","DOI":"10.7551\/mitpress\/4298.003.0043","author":"Kakas","year":"1995","journal-title":"Proceedings of the 12th International Conference on Logic programming"},{"key":"10.1049\/ip-sen:20030207_r32","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)90105-8"},{"journal-title":"International Conference on Machine learning","year":"1993","author":"Mitchell","key":"10.1049\/ip-sen:20030207_r33"},{"key":"10.1049\/ip-sen:20030207_r34","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"key":"10.1049\/ip-sen:20030207_r35","doi-asserted-by":"publisher","DOI":"10.1109\/32.730543"},{"key":"10.1049\/ip-sen:20030207_r36","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"10.1049\/ip-sen:20030207_r37","first-page":"305","volume":"45","author":"Menzies","year":"1996"},{"key":"10.1049\/ip-sen:20030207_r38","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1109\/ISRE.1997.566875","author":"Zowghi","year":"1997","journal-title":"Proceedings of the 3rd IEEE International Symposium on Requirements engineering"},{"key":"10.1049\/ip-sen:20030207_r39","first-page":"177","author":"Satoh","year":"1998","journal-title":"Proceedings of International Workshop on the Principles of software evolution"},{"key":"10.1049\/ip-sen:20030207_r40","doi-asserted-by":"publisher","DOI":"10.1109\/32.738341"},{"key":"10.1049\/ip-sen:20030207_r41","first-page":"280","author":"Garg","year":"1992","journal-title":"Proceedings of ICSE14"},{"key":"10.1049\/ip-sen:20030207_r42","unstructured":"\u2018The automated refinement of a requirements domain theory\u2019, Technical, 1999"},{"key":"10.1049\/ip-sen:20030207_r43","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0164-1212(01)00036-X","volume":"56","author":"Nuseibeh","year":"2001","ISSN":"https:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"first-page":"335","year":"1998","author":"Hunter","key":"10.1049\/ip-sen:20030207_r44"},{"key":"10.1049\/ip-sen:20030207_r45","doi-asserted-by":"crossref","unstructured":"Ghezzi, C., Nuseibeh, B., IEEE Trans. Softw. Eng., 1999 November),Special Issue on Managing Inconsistency in Software DevelopmentGabbay, D.M., and Hunter, A.: \u2018Making inconsistency respectable: a logical framework for inconsistency in reasoning. Part 1: a position paper\u2019, Fundamentals of AI Research, (Springer-Verlag 1991), p. 19\u201332","DOI":"10.1109\/TSE.1999.824393"},{"key":"10.1049\/ip-sen:20030207_r47","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1109\/IWSSD.1996.501155","author":"Easterbrook","year":"1996","journal-title":"International Workshop on Software specification and design"},{"key":"10.1049\/ip-sen:20030207_r48","doi-asserted-by":"crossref","unstructured":"Thrun, S.: \u2018Explanation-based neural network learning: a lifelong learning approach\u2019, (Kluwer Academic Publishers, Boston, MA 1996)","DOI":"10.1007\/978-1-4613-1381-6"},{"key":"10.1049\/ip-sen:20030207_r49","first-page":"12","volume":"5","author":"Mooney","year":"1994","ISSN":"https:\/\/id.crossref.org\/issn\/1053-4830","issn-type":"print"},{"journal-title":"Proceedings of IEEE International Conference on Software Engineering ICSE01","year":"2001","author":"Uchitel","key":"10.1049\/ip-sen:20030207_r50"}],"container-title":["IEE Proceedings - Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20030207?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T12:16:11Z","timestamp":1734005771000},"score":1,"resource":{"primary":{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/ip-sen_20030207"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003]]}},"URL":"https:\/\/doi.org\/10.1049\/ip-sen:20030207","relation":{},"ISSN":["1462-5970"],"issn-type":[{"type":"print","value":"1462-5970"}],"subject":[],"published":{"date-parts":[[2003]]}}}