{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:15Z","timestamp":1725558975503},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642311741"},{"type":"electronic","value":"9783642311758"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31175-8_8","type":"book-chapter","created":{"date-parts":[[2012,6,12]],"date-time":"2012-06-12T02:53:21Z","timestamp":1339469601000},"page":"137-153","source":"Crossref","is-referenced-by-count":1,"title":["Controlled Natural Language in a Game for Legal Assistance"],"prefix":"10.1007","author":[{"given":"John J.","family":"Camilleri","sequence":"first","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Rosner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1162\/089120101317066131","volume":"27","author":"J. Bateman","year":"2001","unstructured":"Bateman, J., Kleinz, J., Kamps, T., Reichenberger, K.: Towards Constructive Text, Diagram, and Layout Generation for Information Presentation. Computational Linguistics\u00a027, 409\u2013449 (2001)","journal-title":"Computational Linguistics"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Bao, J., Smart, P.R., Braines, D., Shadbolt, N.R.: A Controlled Natural Language Interface for Semantic Media Wiki Using the Rabbit Language. In: CNL (2009)","DOI":"10.1007\/978-3-642-14418-9_13"},{"key":"8_CR3","unstructured":"Crystal, D., Davy, D.: Investigating English style. Studies in the History and Theory of Linguistics. Indiana University Press (1969)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., Sheeran, M., Singh, S.: Functional Hardware Description in Lava. In: The Fun of Programming, Cornerstones of Computing, pp. 151\u2013176. Palgrave (2003)","DOI":"10.1007\/978-1-349-91518-7_8"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Davidson, D.: The Logical Form of Action Sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press (1967)","DOI":"10.2307\/jj.13027259.6"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/BF02812435","volume":"11","author":"A. Daskalopulu","year":"1997","unstructured":"Daskalopulu, A., Sergot, M.: The Representation of Legal Contracts. AI and Society\u00a011, 6\u201317 (1997)","journal-title":"AI and Society"},{"key":"8_CR7","unstructured":"Hayes, P.J.: A Logic of Actions. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 6, pp. 495\u2013520. Edinburgh University Press (1971)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1109\/ASE.2001.989799","volume-title":"Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001, pp. 135\u2013143. IEEE Computer Society, Washington, DC (2001)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1145\/242224.242477","volume":"28","author":"P. Hudak","year":"1996","unstructured":"Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys\u00a028, 196 (1996)","journal-title":"ACM Computing Surveys"},{"key":"8_CR10","volume-title":"Grundgesetze des Sollens. Elemente fer Logik des Willens","author":"E. Mally","year":"1926","unstructured":"Mally, E.: Grundgesetze des Sollens. Elemente fer Logik des Willens. Leuschner & Lubensky, Graz (1926)"},{"issue":"3","key":"8_CR11","first-page":"243","volume":"8","author":"W.C. Mann","year":"1988","unstructured":"Mann, W.C., Thompson, S.A.: Rhetorical Structure Theory: Toward a functional theory of text organization. Text\u00a08(3), 243\u2013281 (1988)","journal-title":"Text"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol.\u00a07, pp. 197\u2013289. North-Holland Publishing (2006)","DOI":"10.1016\/S1874-5857(06)80029-4"},{"key":"8_CR13","unstructured":"Nunberg, G.: The Linguistics of Punctuation (Center for the Study of Language and Information - Lecture Notes) (August 1990)"},{"key":"8_CR14","unstructured":"Phair, M.E., Bliss, A.: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces. In: Online Deliberation 2005 \/ DIAC 2005, Stanford, CA, USA (2005)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-642-14418-9_14","volume-title":"Controlled Natural Language","author":"G.J. Pace","year":"2010","unstructured":"Pace, G.J., Rosner, M.: A Controlled Language for the Specification of Contracts. In: Fuchs, N.E. (ed.) CNL 2009. LNCS, vol.\u00a05972, pp. 226\u2013245. Springer, Heidelberg (2010) ISBN: 978-3-642-14417-2"},{"key":"8_CR16","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1162\/089120103322145315","volume":"29","author":"R. Power","year":"2003","unstructured":"Power, R., Scott, D., Bouayad-Agha, N.: Document Structure. Computational Linguistics\u00a029, 211\u2013260 (2003)","journal-title":"Computational Linguistics"},{"issue":"02","key":"8_CR17","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming\u00a014(02), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"issue":"1-3","key":"8_CR18","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1515\/JISYS.2008.17.1-3.125","volume":"17","author":"R. Schwitter","year":"2008","unstructured":"Schwitter, R.: A Controlled Natural Language for the Semantic Web. Journal of Intelligent Systems\u00a017(1-3), 125\u2013141 (2008)","journal-title":"Journal of Intelligent Systems"},{"key":"8_CR19","unstructured":"Suber, P.: Nomic: A Game of Self-Amendment. In: The Paradox of Self-Amendment. Peter Lang Publishing (1990)"},{"key":"8_CR20","unstructured":"Vella, G.: Automatic Summarisation of Legal Documents. Master\u2019s thesis, Univerisity of Malta, Dept Intelligent Computer Systems, University of Malta, Msida MSD2080, Malta (2010)"},{"key":"8_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1093\/mind\/LX.237.1","volume":"60","author":"G.H. Wright Von","year":"1951","unstructured":"Von Wright, G.H.: Deontic Logic. Mind\u00a060, 1\u201315 (1951)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Controlled Natural Language"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31175-8_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,25]],"date-time":"2024-04-25T08:10:27Z","timestamp":1714032627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31175-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311741","9783642311758"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31175-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}