{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:06Z","timestamp":1748664306488,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662481189"},{"type":"electronic","value":"9783662481196"}],"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.springer.com\/tdm"},{"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.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48119-6_19","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"259-273","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Translating Simple Legal Text to Formal Representations"],"prefix":"10.1007","author":[{"given":"Shruti","family":"Gaur","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen H.","family":"Vo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuaki","family":"Kashihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chitta","family":"Baral","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"19_CR1","unstructured":"Jurisin legal information extraction and entailment competition (2014). http:\/\/webdocs.cs.ualberta.ca\/miyoung2\/jurisin_task\/index.html"},{"issue":"3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1017\/S1351324902002887","volume":"8","author":"S A\u00eft-Mokhtar","year":"2002","unstructured":"A\u00eft-Mokhtar, S., Chanod, J.P., Roux, C.: Robustness beyond shallowness: incremental deep parsing. Nat. Lang. Eng. 8(3), 121\u2013144 (2002)","journal-title":"Nat. Lang. Eng."},{"issue":"1","key":"19_CR3","first-page":"135","volume":"38","author":"I Androutsopoulos","year":"2010","unstructured":"Androutsopoulos, I., Malakasiotis, P.: A survey of paraphrasing and textual entailment methods. J. Artif. Int. Res. 38(1), 135\u2013187 (2010)","journal-title":"J. Artif. Int. Res."},{"key":"19_CR4","unstructured":"Bajwa, I.B., Behzad, L.M.: SBVR business rules generation from natural language specification. In: AAAI 2011 Spring Symposium AI for Business Agility, San Francisco, USA, pp. 2\u20138 (2011)"},{"key":"19_CR5","unstructured":"Baral, C., Dzifcak, J., Gonzalez, M.A., Zhou, J.: Using Inverse lambda and Generalization to Translate English to Formal Languages. CoRR abs\/1108.3843 (2011)"},{"key":"19_CR6","volume-title":"Representation and Inference for Natural Language: A First Course in Computational Semantics","author":"P Blackburn","year":"2005","unstructured":"Blackburn, P., Bos, J.: Representation and Inference for Natural Language: A First Course in Computational Semantics. Center for the Study of Language and Information, Stanford (2005)"},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Bos, J., Markert, K.: Recognising textual entailment with logical inference. In: Proceedings of the Conference on Human Language Technology and Empirical Methods in Natural Language Processing, HLT 2005, pp. 628\u2013635. Association for Computational Linguistics, Stroudsburg (2005)","DOI":"10.3115\/1220575.1220654"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Br\u00fcninghaus, S., Ashley, K.D.: Improving the representation of legal case texts with information extraction methods. In: Proceedings of the 8th International Conference on Artificial Intelligence and Law, ICAIL 2001, pp. 42\u201351. ACM, New York (2001)","DOI":"10.1145\/383535.383540"},{"issue":"2","key":"19_CR9","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A Church","year":"1936","unstructured":"Church, A.: An unsolvable problem of elementary number theory. Am. J. Math. 58(2), 345\u2013363 (1936)","journal-title":"Am. J. Math."},{"key":"19_CR10","unstructured":"Costantini, S., Paolucci, A.: Towards translating natural language sentences into ASP. In: Faber, W., Leone, N. (eds.) CILC, CEUR Workshop Proceedings, vol. 598. CEUR-WS.org (2010)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-642-25655-4_12","volume-title":"New Frontiers in Artificial Intelligence","author":"M De Vos","year":"2011","unstructured":"De Vos, M., Padget, J., Satoh, K.: Legal modelling and reasoning using institutions. In: Bekki, D. (ed.) JSAI-isAI 2010. LNCS, vol. 6797, pp. 129\u2013140. Springer, Heidelberg (2011)"},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Distinto, I., Guarino, N., Masolo, C.: A well-founded ontological framework for modeling personal income tax. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, ICAIL 2013, pp. 33\u201342. ACM, New York (2013)","DOI":"10.1145\/2514601.2514606"},{"key":"19_CR13","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (REALM). In: Proceedings of the 2005 Conference on Legal Knowledge and Information Systems, JURIX 2005, The Eighteenth Annual Conference, pp. 37\u201348. IOS Press, Amsterdam (2005)"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Giordano, L., Martelli, A., Dupr\u00e9, D.T.: Temporal deontic action logic for the verification of compliance to norms in ASP. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, ICAIL 2013, pp. 53\u201362. ACM, New York (2013)","DOI":"10.1145\/2514601.2514608"},{"key":"19_CR15","unstructured":"Hoekstra, R., Breuker, J., Bello, M.D., Boer, E.: The LKIF core ontology of basic legal concepts. In: Proceedings of the Workshop on Legal Ontologies and Artificial Intelligence Techniques, LOAIT 2007 (2007)"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-00609-8_21","volume-title":"New Frontiers in Artificial Intelligence","author":"Y Kimura","year":"2009","unstructured":"Kimura, Y., Nakamura, M., Shimazu, A.: Treatment of legal sentences including itemized and referential expressions \u2013 towards translation into logical forms. In: Hattori, H., Kawamura, T., Id\u00e9, T., Yokoo, M., Murakami, Y. (eds.) JSAI 2008. LNCS, vol. 5447, pp. 242\u2013253. Springer, Heidelberg (2009)"},{"key":"19_CR17","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-16327-2_14","volume-title":"Intelligent Information Processing V","author":"N Lagos","year":"2010","unstructured":"Lagos, N., Segond, F., Castellani, S., O\u2019Neill, J.: Event extraction for legal case building and reasoning. In: Shi, Z., Vadera, S., Aamodt, A., Leake, D. (eds.) IIP 2010. IFIP AICT, vol. 340, pp. 92\u2013101. Springer, Heidelberg (2010)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"McCarty, L.T.: Deep semantic interpretations of legal texts. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, ICAIL 2007, pp. 217\u2013224. ACM, New York (2007)","DOI":"10.1145\/1276318.1276361"},{"key":"19_CR19","first-page":"188","volume-title":"Formal Philosophy: Selected Papers of Richard Montague","author":"R Montague","year":"1974","unstructured":"Montague, R.: English as a formal language. In: Thomason, R.H. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 188\u2013222. Yale University Press, New Haven (1974)"},{"key":"19_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-78197-4_33","volume-title":"New Frontiers in Artificial Intelligence","author":"M Nakamura","year":"2008","unstructured":"Nakamura, M., Nobuoka, S., Shimazu, A.: Towards translation of legal sentences into logical forms. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds.) JSAI 2007. LNCS (LNAI), vol. 4914, pp. 349\u2013362. Springer, Heidelberg (2008)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Riveret, R., Rotolo, A., Contissa, G., Sartor, G., Vasconcelos, W.: Temporal accommodation of legal argumentation. In: Proceedings of the 13th International Conference on Artificial Intelligence and Law, ICAIL 2011, pp. 71\u201380. ACM, New York (2011)","DOI":"10.1145\/2018358.2018368"},{"key":"19_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M Steedman","year":"2000","unstructured":"Steedman, M.: The Syntactic Process. MIT Press, Cambridge (2000)"},{"key":"19_CR23","unstructured":"Zettlemoyer, L.S., Collins, M.: Learning to map sentences to logical form: structured classification with probabilistic categorial grammars. In: UAI, pp. 658\u2013666. AUAI Press (2005)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48119-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:55:32Z","timestamp":1748577332000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_19","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":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}