{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:55:25Z","timestamp":1742403325434},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540738466"},{"type":"electronic","value":"9783540738473"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73847-3_14","type":"book-chapter","created":{"date-parts":[[2007,9,18]],"date-time":"2007-09-18T23:23:12Z","timestamp":1190157792000},"page":"64-78","source":"Crossref","is-referenced-by-count":9,"title":["Extracting Requirements from Scenarios with ILP"],"prefix":"10.1007","author":[{"given":"Dalal","family":"Alrajeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Ray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Alrajeh, D., Russo, A., Uchitel, S.: Inferring operational requirements from goal models and scenarios using inductive systems. In: Proc. 5th Int. Workshop on Scenarios and State Machines (2006)","DOI":"10.1145\/1138953.1138960"},{"issue":"1","key":"14_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne, A., Lamsweerde, A.v., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming\u00a020 (1), 3\u201350 (1993)","journal-title":"Science of Computer Programming"},{"key":"14_CR3","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proc. of the 6th Int. Conf. on Logic Programming, pp. 234\u2013254 (1989)"},{"key":"14_CR4","first-page":"1070","volume-title":"Proc. of the 5th Int. Conf. on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R.A., Bowen, K. (eds.) Proc. of the 5th Int. Conf. on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"14_CR5","volume-title":"Proc. 11th ACM SIGSOFT Symp. on Foundations Software Engineering","author":"D. Giannakopoulou","year":"2003","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: Proc. 11th ACM SIGSOFT Symp. on Foundations Software Engineering, ACM Press, New York (2003)"},{"key":"14_CR6","volume-title":"Logic in Computer Science: Modelling and Reasoning about systems","author":"M. Huth","year":"2000","unstructured":"Huth, M., Ryan, M.D.: Logic in Computer Science: Modelling and Reasoning about systems. Cambridge University Press, Cambridge (2000)"},{"issue":"6","key":"14_CR7","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1992)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"Kowalski, R.A., Sergot, M.: A logic-based calculus of events. New generation computing\u00a04(1), 67\u201395 (1986)","journal-title":"New generation computing"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Kramer, J., Magee, J., Sloman, M.: Conic: An integrated approach to distributed computer control systems. In: IEE Proc., Part E 130, pp. 1\u201310 (January 1983)","DOI":"10.1049\/ip-e.1983.0001"},{"key":"14_CR10","first-page":"249","volume-title":"Proc. 5th IEEE Int. Symp. on Requirements Engineering","author":"A.V. Lamsweerde","year":"2001","unstructured":"Lamsweerde, A.V.: Goal-oriented requirements engineering: A guided tour. In: Proc. 5th IEEE Int. Symp. on Requirements Engineering, pp. 249\u2013263. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"12","key":"14_CR11","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/32.738341","volume":"24","author":"A.V. Lamsweerde","year":"1998","unstructured":"Lamsweerde, A.V., Willemet, L.: Inferring declarative requirements specifications from operational scenarios. IEEE Trans. on Software Engineering\u00a024(12), 1089\u20131114 (1998)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"14_CR12","unstructured":"Letier, E., Kramer, J., Magee, J., Uchitel, S.: Deriving event-based transitions systems from goal-oriented requirements models. Technical Report 2006\/2, Imperial College London (2005)"},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1145\/587051.587070","volume-title":"Proc. 10th ACM SIGSOFT Symp. on Foundations of Software Engineering","author":"E. Letier","year":"2002","unstructured":"Letier, E., Lamsweerde, A.V.: Deriving operational software specifications from system goals. In: Proc. 10th ACM SIGSOFT Symp. on Foundations of Software Engineering, pp. 119\u2013128. ACM Press, New York (2002)"},{"key":"14_CR14","unstructured":"Lorenzo, D.: Learning non-monotonic Logic Programs to Reason about Actions and Change. PhD thesis, University of Coruna (2001)"},{"key":"14_CR15","volume-title":"Concurrency : State Models and Java Programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley and Sons, Chichester (1999)"},{"key":"14_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Miller, R., Shanahan, M.: Some alternative formulation of event calculus. Computer Science: Computational Logic: Logic programming and Beyond\u00a02408 (2002)","DOI":"10.1007\/3-540-45632-5_17"},{"key":"14_CR18","unstructured":"Moyle, S.: An investigation into Theory Completion Techniques in ILP. PhD thesis, University of Oxford (2000)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Moyle, S., Muggleton, S.: Learning programs in the event calculus. In: Proc. 7th Int. Workshop on ILP (1997)","DOI":"10.1007\/3540635149_49"},{"issue":"3-4","key":"14_CR20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S.H. Muggleton","year":"1995","unstructured":"Muggleton, S.H.: Inverse Entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Otero, R.: Embracing causality in inducing the effects of actions. In: Proc. 10th Conf. of the Spanish Assoc. for AI (2004)","DOI":"10.1007\/978-3-540-25945-9_29"},{"key":"14_CR22","unstructured":"Otero, R., Gonzalez, J.: Iaction: a system for induction under non-horn programs with stable models. In: Proc. of the 16th Int. Conf. on ILP, volume submitted of Lecture Notes in Artificial Intelligence (2006)"},{"key":"14_CR23","unstructured":"Otero, R., Varela, M.: Iaction: a system for learning action descriptions for planning. In: Proc. of the 16th Int. Conf. on ILP, volume submitted of Lecture Notes in Artificial Intelligence (2006)"},{"key":"14_CR24","unstructured":"Ray, O.: Hybrid Abductive-Inductive Learning. PhD thesis, Imperial College London (2005)"},{"key":"14_CR25","unstructured":"Ray, O.: Using abduction for induction of normal logic programs. In: Proc. of the ECAI 2006 Workshop on Abduction and Induction in AI and Scientific Modelling, pp. 28\u201331 (2006)"},{"key":"14_CR26","unstructured":"Ray, O., Kakas, A.: Prologica: a practical system for abductive logic programming. In: Dix, J., Hunter, A. (eds.) 11th International Workshop on Non-monotonic Reasoning. IFL Technical Report Series, pp. 304\u2013312 (2006)"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-45619-8_3","volume-title":"Logic Programming","author":"A. Russo","year":"2002","unstructured":"Russo, A., Miller, R., Nuseibeh, B., Kramer, J.: An abductive approach for analysing event-based requirements specifications. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 22\u201337. Springer, Heidelberg (2002)"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/1055686.1055687","volume":"6","author":"C. Sakama","year":"2005","unstructured":"Sakama, C.: Induction from answer sets in non-monotonic logic programs. ACM Trans. on Computational Logic\u00a06(2), 203\u2013231 (2005)","journal-title":"ACM Trans. on Computational Logic"},{"key":"14_CR29","volume-title":"Solving the Frame Problem","author":"M.P. Shanahan","year":"1997","unstructured":"Shanahan, M.P.: Solving the Frame Problem. MIT Press, Cambridge (1997)"},{"key":"14_CR30","doi-asserted-by":"publisher","first-page":"1072","DOI":"10.1109\/32.738340","volume":"24","author":"A. Sutcliffe","year":"1998","unstructured":"Sutcliffe, A., Maiden, N.A.M., Minocha, S., Manuel, D.: Supporting scenario-based requirements engineering. IEEE Trans. on Software Engineering\u00a024, 1072\u20131088 (1998)","journal-title":"IEEE Trans. on Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73847-3_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,23]],"date-time":"2021-08-23T18:53:06Z","timestamp":1629744786000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73847-3_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540738466","9783540738473"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73847-3_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}