{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:58:43Z","timestamp":1725901123008},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144172"},{"type":"electronic","value":"9783642144189"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14418-9_8","type":"book-chapter","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T11:38:36Z","timestamp":1278416316000},"page":"121-134","source":"Crossref","is-referenced-by-count":1,"title":["Economical Discourse Representation Theory"],"prefix":"10.1007","author":[{"given":"Johan","family":"Bos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Zeitschrift f\u00fcr Math. Logik und Grundlagen der Mathematik\u00a021, 135\u2013140 (1975)","journal-title":"Zeitschrift f\u00fcr Math. Logik und Grundlagen der Mathematik"},{"doi-asserted-by":"crossref","unstructured":"de Nivelle, H., Pratt-Hartmann, I.: A resolution-based decision procedure for the two-variable fragment with equality. In: IJCAR, pp. 211\u2013225 (2001)","key":"8_CR2","DOI":"10.1007\/3-540-45744-5_16"},{"key":"8_CR3","volume-title":"From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT","author":"H. Kamp","year":"1993","unstructured":"Kamp, H., Reyle, U.: From Discourse to Logic; An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT. Kluwer, Dordrecht (1993)"},{"doi-asserted-by":"crossref","unstructured":"van Eijck, J., Kamp, H.: Representing Discourse in Context. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 179\u2013240. Elsevier, MIT (1997)","key":"8_CR4","DOI":"10.1016\/B978-044481714-3\/50006-0"},{"issue":"1","key":"8_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1021149027971","volume":"12","author":"I. Pratt-Hartmann","year":"2003","unstructured":"Pratt-Hartmann, I.: A two-variable fragment of english. Journal of Logic, Language and Information\u00a012(1), 13\u201345 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"8_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6591.001.0001","volume-title":"The Syntactic Process","author":"M. Steedman","year":"2001","unstructured":"Steedman, M.: The Syntactic Process. The MIT Press, Cambridge (2001)"},{"unstructured":"Hockenmaier, J.: Data and Models for Statistical Parsing with Combinatory Categorial Grammar. PhD thesis, Univ. of Edinburgh (2003)","key":"8_CR7"},{"key":"8_CR8","first-page":"277","volume-title":"Formal Methods in the Study of Language","author":"H. Kamp","year":"1981","unstructured":"Kamp, H.: A Theory of Truth and Semantic Representation. In: Groenendijk, J., Janssen, T.M., Stokhof, M. (eds.) Formal Methods in the Study of Language, pp. 277\u2013322. Mathematical Centre, Amsterdam (1981)"},{"doi-asserted-by":"crossref","unstructured":"Klein, E.: VP Ellipsis in DR Theory. Studies in Discourse Representation Theory and the Theory of Generalised Quantifiers (1987)","key":"8_CR9","DOI":"10.1515\/9783112420027-008"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1093\/jos\/9.4.333","volume":"9","author":"R. Sandt van der","year":"1992","unstructured":"van der Sandt, R.: Presupposition Projection as Anaphora Resolution. Journal of Semantics\u00a09, 333\u2013377 (1992)","journal-title":"Journal of Semantics"},{"key":"8_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-1715-9","volume-title":"Reference to Abstract Objects in Discourse","author":"N. Asher","year":"1993","unstructured":"Asher, N.: Reference to Abstract Objects in Discourse. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"8_CR12","volume-title":"Presuppositions and Pronouns","author":"B. Geurts","year":"1999","unstructured":"Geurts, B.: Presuppositions and Pronouns. Elsevier, London (1999)"},{"key":"8_CR13","volume-title":"Formal Pragmatics","author":"N. Kadmon","year":"2001","unstructured":"Kadmon, N.: Formal Pragmatics. Blackwell, Malden (2001)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00635836","volume":"19","author":"R. Muskens","year":"1996","unstructured":"Muskens, R.: Combining Montague Semantics and Discourse Representation. Linguistics and Philosophy\u00a019, 143\u2013186 (1996)","journal-title":"Linguistics and Philosophy"},{"key":"8_CR15","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-94-010-0572-2_2","volume-title":"Computing Meaning","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., Bos, J., Kohlhase, M., de Nivelle, H.: Inference and Computational Semantics. In: Bunt, H., Muskens, R., Thijsse, E. (eds.) Computing Meaning, vol.\u00a02, pp. 11\u201328. Kluwer, Dordrecht (2001)"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/B:JLLI.0000024731.26883.86","volume":"13","author":"J. Bos","year":"2004","unstructured":"Bos, J.: Computational Semantics in Discourse: Underspecification, Resolution, and Inference. Journal of Logic, Language and Information\u00a013(2), 139\u2013157 (2004)","journal-title":"Journal of Logic, Language and Information"},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/jj.13027259.6","volume-title":"The Logic of Decision and Action","author":"D. Davidson","year":"1967","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action, pp. 81\u201395. University of Pittsburgh Press, Pittsburgh (1967)"},{"key":"8_CR18","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1080\/00455091.1980.10715756","volume":"6","author":"T. Parsons","year":"1980","unstructured":"Parsons, T.: Modifiers and quantifiers in natural language. Canadian Journal of Philosophy\u00a06, 29\u201360 (1980)","journal-title":"Canadian Journal of Philosophy"},{"key":"8_CR19","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-94-009-2723-0_3","volume-title":"Properties, Types, and Meanings","author":"D. Dowty","year":"1989","unstructured":"Dowty, D.: On the semantic content of the notion \u201cthematic role\u201d. In: Properties, Types, and Meanings, vol.\u00a02, pp. 69\u2013129. Kluwer, Dordrecht (1989)"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/s10579-007-9048-2","volume":"42","author":"K. Kipper","year":"2008","unstructured":"Kipper, K., Korhonen, A., Ryant, N., Palmer, M.: A large-scale classification of English verbs. Language Resources and Evaluation\u00a042(1), 21\u201340 (2008)","journal-title":"Language Resources and Evaluation"},{"key":"8_CR21","series-title":"CSLI Lecture Notes 10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-17647-0","volume-title":"Prolog and Natural Language Analysis","author":"F. Pereira","year":"1987","unstructured":"Pereira, F., Shieber, S.: Prolog and Natural Language Analysis. CSLI Lecture Notes 10. Chicago University Press, Stanford (1987)"}],"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-14418-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T01:47:19Z","timestamp":1711590439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14418-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144172","9783642144189"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14418-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}