{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:08:51Z","timestamp":1725574131536},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540408031"},{"type":"electronic","value":"9783540452249"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45224-9_108","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T10:09:45Z","timestamp":1294394985000},"page":"800-815","source":"Crossref","is-referenced-by-count":1,"title":["An Expressive Efficient Representation: Bridging a Gap between NLP and KR"],"prefix":"10.1007","author":[{"given":"Jana Z.","family":"Sukkarieh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"108_CR1","unstructured":"Cooper, R., Crouch, D., van Eijck, J., Fox, C., van Genabith, J., Jaspars, J., Kamp, H., Milward, D., Pinkal, M., Poesio, M., Pulman, S.: The Fracas Consortium, Deliverable D16. With additional contributions from Briscoe, T., Maier, H., Konrad, K. (1996)"},{"key":"108_CR2","volume-title":"Z An Introduction to Formal Methods. Wing\u2019s Library Problem","author":"A. Diller","year":"1994","unstructured":"Diller, A.: Z An Introduction to Formal Methods. Wing\u2019s Library Problem. John Wiley and Sons Ltd., Chichester (1994)"},{"key":"108_CR3","volume-title":"Introduction to Montague Semantics","author":"D.R. Dowty","year":"1981","unstructured":"Dowty, D.R., Wall, R.E., Peters, S.: Introduction to Montague Semantics. D. Reidel Publishing Co., Boston (1981)"},{"key":"108_CR4","unstructured":"Fyodorov, Y., Winter, Y., Francez, N.: A Natural Logic inference system. Inference in Computational Semantics (2000)"},{"issue":"4","key":"108_CR5","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/BF00974104","volume":"3","author":"C.H. Hwang","year":"1993","unstructured":"Hwang, C.H., Schubert, L.K.: Episodic Logic: A comprehensive, Natural Representation for Language Understanding. Minds and Machines\u00a03(4), 381\u2013419 (1993)","journal-title":"Minds and Machines"},{"key":"108_CR6","first-page":"7","volume-title":"Natural Language is a Powerful Knowledge Representation system","author":"L.M. Iwanska","year":"2000","unstructured":"Iwanska, L.M.: Natural Language Processing and Knowledge Representation. In: Natural Language is a Powerful Knowledge Representation system, pp. 7\u201364. MIT press, Cambridge (2000)"},{"key":"108_CR7","first-page":"44","volume-title":"Knowledge Representation Systems based on Natural Language","author":"L.M. Iwanska","year":"1996","unstructured":"Iwanska, L.M.: Natural Language Is A Representational Language. In: Knowledge Representation Systems based on Natural Language, pp. 44\u201370. AAAI Press, Menlo Park (1996)"},{"key":"108_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90063-4","volume":"56","author":"D. McAllester","year":"1992","unstructured":"McAllester, D., Givan, R.: Natural Language Syntax and First-Order Inference. Artificial Intelligence\u00a056, 1\u201320 (1992)","journal-title":"Artificial Intelligence"},{"key":"108_CR9","volume-title":"Natural Language Based Inference Procedures Applied to Schuber\u2018s Steamroller","author":"D. McAllester","year":"1991","unstructured":"McAllester, D., Givan, R., Shalaby, S.: Natural Language Based Inference Procedures Applied to Schuber\u2018s Steamroller. AAAI, Menlo Park (1991)"},{"key":"108_CR10","unstructured":"Schubert, L.K., Hwang, C.H.: Natural Language Processing and Knowledge Representation. In: Episodic Logic Meets Little Red Riding Hood-A comprehensive Natural Representation for Language Understanding, pp. 111\u2013174. AAAI Press\/MIT (2000)"},{"key":"108_CR11","unstructured":"Shapiro, S.C.: Natural Language Processing and Knowledge Representation. In: SNePs: A logicf or Natural Language Understanding and Commonsense Reasoning, pp. 175\u2013196. AAAI Press\/MIT (2000)"},{"key":"108_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/BF00246025","volume":"2","author":"M.E. Stickel","year":"1986","unstructured":"Stickel, M.E.: Schubert\u2018s Steamroller Problem: Formulations and Solutions. Journal of Automated Reasoning\u00a02, 89\u2013101 (1986)","journal-title":"Journal of Automated Reasoning"},{"key":"108_CR13","unstructured":"Sukkarieh, J.Z.: Mind Your Language! Controlled Language for Inference Purposes. In: To appear in EAMT\/CLAW 2003, Dublin, Ireland (2003)"},{"key":"108_CR14","unstructured":"Sukkarieh, J.Z.: Natural Language for Knowledge Representation. University of Cambridge (2001), \n                      \n                        http:\/\/www.clp.ox.ac.uk\/people\/staff\/jana\/jana.htm"},{"key":"108_CR15","unstructured":"Sukkarieh, J.Z.: Quasi-NL Knowledge Representation for Structurally-Based Inferences. In: Blackburn, P., Kolhase, M. (eds.) Proceedings of the Third International Workshop on Inference in Computational Semantics, Siena, Italy (2001)"},{"key":"108_CR16","unstructured":"Sukkarieh, J.Z., Pulman, S.G.: Computer Processable English and McLogic. In: Bunt, H., et al. (eds.) Proceedings of the Third International Workshop on Computational Semantics, Tilburg, The Netherlands (1999)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45224-9_108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:58:25Z","timestamp":1558720705000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45224-9_108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540408031","9783540452249"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45224-9_108","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}