{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:20:34Z","timestamp":1742948434096,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195803"},{"type":"electronic","value":"9783319195810"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19581-0_42","type":"book-chapter","created":{"date-parts":[[2015,6,4]],"date-time":"2015-06-04T02:30:20Z","timestamp":1433385020000},"page":"432-436","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Generating Logical Representations for Natural Language Requirements Using Syntactic Dependencies and Norm Analysis Patterns"],"prefix":"10.1007","author":[{"given":"Richa","family":"Sharma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. K.","family":"Biswas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,4]]},"reference":[{"key":"42_CR1","unstructured":"Spivey, M.: The Z Notation: A Reference Manual, 2nd edition. Prentice Hall International Series in Computer Science, Upper Saddle River (1992)"},{"key":"42_CR2","doi-asserted-by":"crossref","unstructured":"Wegner, P.: The Vienna Definition Language. In: ACM Computing Surveys (CSUR) Surveys Homepage archive, vol. 4 Issue 1, pp. 5\u201363 ACM New York, NY, USA (1972)","DOI":"10.1145\/356596.356598"},{"issue":"1","key":"42_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0306-4379(86)90020-7","volume":"11","author":"S Greenspan","year":"1986","unstructured":"Greenspan, S., Borgida, A., Mylopoulos, J.: A requirements modeling language and its logic. Inf. Sys. 11(1), 9\u201323 (1986)","journal-title":"Inf. Sys."},{"issue":"4","key":"42_CR4","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/102675.102676","volume":"8","author":"J Mylopoulos","year":"1990","unstructured":"Mylopoulos, J., Borgida, A., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Sys. 8(4), 325\u2013362 (1990)","journal-title":"ACM Trans. Inf. Sys."},{"issue":"4","key":"42_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1049\/sej.1991.0017","volume":"6","author":"JJP Tsai","year":"1991","unstructured":"Tsai, J.J.P., Weigert, T.: HCLIE: a logic based requirement language for new software engineering paradigms. Softw. Eng. 6(4), 137\u2013151 (1991)","journal-title":"Softw. Eng."},{"issue":"3","key":"42_CR6","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1008627026003","volume":"4","author":"J Mylopoulos","year":"1997","unstructured":"Mylopoulos, J., Borgida, A., Yu, E.: Representing software engineering knowledge. Autom. Softw. Eng. 4(3), 291\u2013317 (1997)","journal-title":"Autom. Softw. Eng."},{"key":"42_CR7","volume-title":"Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836","author":"BN Grosof","year":"1997","unstructured":"Grosof, B.N.: Courteous Logic Programs: prioritized conflict handling for rules. IBM Research Report RC20836. IBM Research Division, T.J. Watson Research Centre, New York (1997)"},{"key":"42_CR8","unstructured":"Marneffe, M.C., de MacCartney, B., Manning, C.D.: Generating Typed Dependency Parses from Phrase Structure Parses. In: LREC (2006)"},{"key":"42_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1046\/j.1365-2575.2001.00102.x","volume":"11","author":"K Liu","year":"2001","unstructured":"Liu, K., Sun, L., Dix, A., Narasipuram, M.: Norm-based agency for designing collaborative information systems. Inf. Sys. 11, 229\u2013247 (2001)","journal-title":"Inf. Sys."},{"issue":"1","key":"42_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1075\/term.8.1.02mar","volume":"8","author":"E Marshman","year":"2002","unstructured":"Marshman, E., Morgan, T., Meyer, I.: French patterns for expressing concept relations. Terminology 8(1), 1\u201329 (2002)","journal-title":"Terminology"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Sharma, R., Biswas, K.K.: Using courteous logic based representations for requirements specification. In: 4th International Workshop on Managing Requirements Knowledge (MaRK 2011), in conjunction with 19th IEEE International Requirements Engineering Conference (RE\u201911), pp. 12\u201316 (2011)","DOI":"10.1109\/MARK.2011.6046556"},{"key":"42_CR12","volume-title":"Mind Design","author":"M Minsky","year":"1981","unstructured":"Minsky, M.: A framework for representing knowledge. In: Haugeland, J. (ed.) Mind Design. MIT Press, Cambridge (1981)"},{"key":"42_CR13","doi-asserted-by":"crossref","unstructured":"Bhatia, J., Sharma, R., Biswas, K.K., Ghaisas, S.: Using grammatical knowledge patterns for structuring requirements specifications. In: 3rd IEEE International Workshop on Requirements Patterns (RePa\u201913), in conjunction with 21st IEEE International Requirements Engineering Conference (RE\u201913), pp. 31\u201334 (2013)","DOI":"10.1109\/RePa.2013.6602669"},{"key":"42_CR14","unstructured":"Salter, A., Liu, K.: Using semantic analysis and norm analysis to model organisations. In: 4th International Conference on Enterprise Information Systems (ICEIS), Spain (2002)"},{"key":"42_CR15","unstructured":"Liu, K., Dix, A.: Norm Governed Agents in CSCW. In: First International Workshop on Computational Semiotics, Paris (1997)"},{"key":"42_CR16","unstructured":"Mulkar, R., Hobbs, J.R., Hovy, E.: Learning from Reading Syntactically Complex Biology Texts. In: AAAI (2007)"},{"issue":"4","key":"42_CR17","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1017\/S1351324901002807","volume":"7","author":"L Hirschman","year":"2001","unstructured":"Hirschman, L., Gaizauskas, R.: Natural language question answering: the view from here. Nat. Lang. Eng. 7(4), 275\u2013300 (2001)","journal-title":"Nat. Lang. Eng."},{"issue":"3","key":"42_CR18","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V Gervasi","year":"2005","unstructured":"Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Method. 14(3), 277\u2013330 (2005)","journal-title":"ACM Trans. Softw. Eng. Method."}],"container-title":["Lecture Notes in Computer Science","Natural Language Processing and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19581-0_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:59:30Z","timestamp":1676944770000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19581-0_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195803","9783319195810"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19581-0_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"4 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}