{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:18Z","timestamp":1725663498407},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540530824"},{"type":"electronic","value":"9783540466536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53082-7_18","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:58:00Z","timestamp":1330207080000},"page":"70-93","source":"Crossref","is-referenced-by-count":0,"title":["Computational semantics: Steps towards \u201cintelligent\u201d text processing"],"prefix":"10.1007","author":[{"given":"Jens Erik","family":"Fenstad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Tore","family":"L\u00f8nning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"5_CR1","unstructured":"Barwise, J.: 1989, The Situation in Logic, CSLI Lecture Notes No. 17."},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BF00350139","volume":"4","author":"J. Barwise","year":"1981","unstructured":"Barwise, J. and R. Cooper: 1981, \u2018Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4, 159\u2013219.","journal-title":"Linguistics and Philosophy"},{"key":"5_CR3","volume-title":"Situations and Attitudes","author":"J. Barwise","year":"1983","unstructured":"Barwise, J. and J. Perry: 1983, Situations and Attitudes, Bradford Books, Cambridge."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bennett, M.R.: 1975 'some Extensions of a Montague Fragment of English', thesis, distributed by the Indiana University Linguistics Club.","DOI":"10.1016\/B978-0-12-545850-4.50010-8"},{"key":"5_CR5","first-page":"101","volume":"8","author":"U. Blau","year":"1981","unstructured":"Blau, U.: 1981, \u2018Collective Objects', Theoretical Linguistics 8, 101\u2013130.","journal-title":"Theoretical Linguistics"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"430","DOI":"10.2307\/2026308","volume":"81","author":"G. Boolos","year":"1984","unstructured":"Boolos, G.: 1984, \u2018To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables)', Journal of Philosophy 81, 430\u2013449.","journal-title":"Journal of Philosophy"},{"key":"5_CR7","unstructured":"Bresnan, J. (ed.): 1982, The Mental Representation of Grammatical Relations, MIT Press."},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/BF00243207","volume":"3","author":"A. G. Cohn","year":"1987","unstructured":"Cohn, A. G.: 1987, \u2018A More Expressive Formulation of Many Sorted Logic', J. Automated Reasoning 3, 113\u2013200.","journal-title":"J. Automated Reasoning"},{"key":"5_CR9","unstructured":"Colban, E.: 1987, \u2018Prepositional Phrases in Situation Schemata', published as Appendix A to Fenstad et al. (1987)."},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"281","DOI":"10.2307\/2183143","volume":"75","author":"K.S. Donellan","year":"1966","unstructured":"Donellan, K.S.: 1966, \u2018Reference and Definite Descriptions', Philosophical Review 75, 281\u2013304.","journal-title":"Philosophical Review"},{"issue":"1\u20132","key":"5_CR11","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1017\/S0332586500001724","volume":"11","author":"H. Dyvik","year":"1988","unstructured":"Dyvik, H.: 1988, \u2018Sentence Synthesis from Situation Schemata: A Unification-based Algorithm', Nordic Journal of Linguistics 11(1\u20132), 17\u201332.","journal-title":"Nordic Journal of Linguistics"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Fenstad, J. E.: 1988, \u2018Natural Language Systems', in Advanced Topics in Artificial Intelligence, R. T. Nossum (ed.), Springer-Verlag.","DOI":"10.1007\/3-540-50676-4_14"},{"key":"5_CR13","unstructured":"Fenstad, J. E., P. K. Halvorsen, T. Langholm, and J. van Benthem: 1985, \u2018Equations, Schemata and Situations', CSLI Report No. CSLI-85-29. Preliminary version of Fenstad et al. (1987)."},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-1335-6","volume-title":"Situations, Language and Logic","author":"J. E. Fenstad","year":"1987","unstructured":"Fenstad, J. E., P. K. Halvorsen, T. Langholm, and J. van Benthem: 1987, Situations, Language and Logic, Reidel, Dordrecht."},{"key":"5_CR15","unstructured":"Fenstad, J. E., T. Langholm, E. Vestre: 1990, \u2018Representations and Interpretations', in Proceedings of the Tutorials and Workshop on Formal Semantics and Computational Linguistics. Lugano, August 1988."},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/BF00351459","volume":"5","author":"J.D. Fodor","year":"1982","unstructured":"Fodor, J.D. and Sag, I.A.: 1982, \u2018Referential and Quantificational Indefinites', Linguistics and Philosophy 5, 355\u2013398.","journal-title":"Linguistics and Philosophy"},{"key":"5_CR17","unstructured":"Frey, W. and H. Kamp: 1990, 'some Problems about Definite Plural Noun Phrases', in this volume."},{"key":"5_CR18","volume-title":"Proceedings of the Workshop on Inductive Reasoning","author":"P. G\u00e4rdenfors","year":"1987","unstructured":"G\u00e4rdenfors, P.: 1987, \u2018Induction, Conceptual Spaces and AI', in Proceedings of the Workshop on Inductive Reasoning, Ris\u00f8 National Lab., Roskilde, Denmark."},{"key":"5_CR19","unstructured":"Halvorsen, P.K.: 1988, 'situation Semantics and Semantic Interpretation in Constraint-Based Grammars', in Proceedings of the International Conference on Fifth Generation Computer systems, FGCS-88, Tokyo, Japan, November 1988."},{"key":"5_CR20","unstructured":"Halvorsen, P. K. and R. M. Kaplan: 1988, \u2018Projections and Semantic Description in Lexical-Functional Grammar', in Proceedings of the International Conference on Fifth Generation Computer systems, FGCS-88, Tokyo, Japan, November 1988."},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1515\/9783112420768-005","volume-title":"Studies in Modeltheoretic Semantics","author":"J. Hoeksema","year":"1983","unstructured":"Hoeksema, J.: 1983, \u2018Plurality and Conjunction\u2019 in A.G.B. ter Meulen (ed.), Studies in Modeltheoretic Semantics, Foris, Dordrecht, 63\u201383."},{"key":"5_CR22","unstructured":"Johnson, M.: 1988, Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes No. 16."},{"key":"5_CR23","unstructured":"Johnson, R., M. Rosner and C. J. Rupp: 1990, 'situation Schemata and Linguistic Representation\u2019 in Proceedings of the Tutorials and Workshop on Formal Semantics and Computational Linguistics. Lugano, August 1988."},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0003-4843(70)80005-5","volume":"1","author":"H.J. Keisler","year":"1970","unstructured":"Keisler, H.J.: 1970, \u2018Logic with the quantifier \u2018there exists uncountably many'', Annals of Math. Logic 1, 1\u201393.","journal-title":"Annals of Math. Logic"},{"key":"5_CR25","unstructured":"Landman, F.: 1988, \u2018Groups, Plural Individuals and Intentionality\u2019 in J. Gronendijk, M. Stokhof and F. Veltman (eds.), Proceedings of the Sixth Amsterdam Colloquium. April 13\u201316 1987, ITLI, University of Amsterdam, 197\u2013217."},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/BF00627774","volume":"12","author":"F. Landman","year":"1989","unstructured":"Landman, F.: 1989, \u2018Groups 1', Linguistics and Philosophy 12, 559\u2013605.","journal-title":"Linguistics and Philosophy"},{"key":"5_CR27","unstructured":"Langholm, T.: 1989, \u2018Algorithms for Partial Logics', Cosmos preprint No 12, Dept. of Mathematics, University of Oslo."},{"key":"5_CR28","doi-asserted-by":"crossref","first-page":"45","DOI":"10.2307\/2266169","volume":"5","author":"H.S. Leonard","year":"1940","unstructured":"Leonard, H.S. and N. Goodman: 1940, \u2018The Calculus of Individuals and its Uses', Journal of Symbolic Logic 5, 45\u201355.","journal-title":"Journal of Symbolic Logic"},{"key":"5_CR29","volume-title":"Meaning, Use and Interpretation of Language","author":"G. Link","year":"1983","unstructured":"Link, G.: 1983, \u2018The Logical Analysis of Plurals and Mass Terms: A lattice-Theoretical Approach\u2019 in R. B\u00e4uerle, C. Schwarze and A. von Stechow (eds.), Meaning, Use and Interpretation of Language, Walter de Gruyter, Berlin."},{"key":"5_CR30","first-page":"245","volume-title":"Varieties of Formal Semantics","author":"G. Link","year":"1984","unstructured":"Link, G.: 1984, \u2018Hydras: On the Logic of Relative Constructions with Multiple Heads\u2019 in F. Landmann and F. Veltmann (eds.), Varieties of Formal Semantics, Foris, Dordrecht, 245\u2013257."},{"key":"5_CR31","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-94-009-3381-1_6","volume-title":"Generalized Quantifiers. Linguistic and Logical Approaches","author":"G. Link","year":"1987","unstructured":"Link, G.: 1987, \u2018Generalized Quantifiers and Plurals\u2019 in P. G\u00e4rdenfors (ed.), Generalized Quantifiers. Linguistic and Logical Approaches, Reidel, Dordrecht, 151\u2013180."},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00603391","volume":"10","author":"J.T. L\u00f8nning","year":"1987","unstructured":"L\u00f8nning, J.T.: 1987a, \u2018Mass Terms and Quantification', Linguistics and Philosophy 10, 1\u201352.","journal-title":"Linguistics and Philosophy"},{"key":"5_CR33","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-94-009-3381-1_8","volume-title":"Generalized Quantifiers. Linguistic and Logical Approaches","author":"J.T. L\u00f8nning","year":"1987","unstructured":"L\u00f8nning, J.T.: 1987b, \u2018Collective Readings of Definite and Indefinite Noun Phrases\u2019 in P. G\u00e4rdenfors (ed.), Generalized Quantifiers. Linguistic and Logical Approaches, Reidel, Dordrecht, 203\u2013235."},{"key":"5_CR34","unstructured":"L\u00f8nning, J.T.: 1989a, 'some Aspects of the Logic of Plural Noun Phrases', thesis, Dept. of Mathematics, University of Oslo, Cosmos preprint no 11."},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"L\u00f8nning, J.T.: 1989b, \u2018Computational Semantics of Mass Terms', in Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, April 1989, 205\u2013211.","DOI":"10.3115\/976815.976843"},{"key":"5_CR36","first-page":"89","volume":"13","author":"G. Massey","year":"1976","unstructured":"Massey, G.: 1976, \u2018Tom, Dick and Harry, and all the King's men', American Philosophical Quarterly 13, 89\u2013107.","journal-title":"American Philosophical Quarterly"},{"key":"5_CR37","unstructured":"Meier, J, D. Metzing, T. Polzin, P. Ruhrberg, H. Rutz and M. Vollmer: 1988, \u2018Generierung von Wegbeschreibungen', KOLIBRI Arbeitsbericht nr. 9, DFG-Forschergruppe Koh\u00e4renz, Fakult\u00e4t f\u00fcr Linguistik und Literaturwissenschaft der Universit\u00e4t Bielefeld. In German."},{"key":"5_CR38","doi-asserted-by":"crossref","unstructured":"Pinkal, M.: 1990, \u2018On the Logical Structure of Comparatives', this volume.","DOI":"10.1007\/3-540-53082-7_21"},{"key":"5_CR39","unstructured":"Pollard, C. and I. Sag: 1987, Information-Based Syntax and Semantics, CSLI Lecture Notes No. 13."},{"key":"5_CR40","unstructured":"Scha, R.: 1981, \u2018Distributive, Collective and Cumulative Quantification\u2019 in J.A.G. Gronendijk, T.M.V. Janssen and M.B.J. Stokhof (eds.), Formal Methods in the Study of Language, Mathematical Centre Tracts 136, Amsterdam, 483\u2013512."},{"key":"5_CR41","unstructured":"Sells, P.: 1985, Lectures on Contemporary Syntactic Theories, CSLI Lecture Notes No. 3."},{"key":"5_CR42","volume-title":"The Logic of Time","author":"J. Benthem van","year":"1982","unstructured":"van Benthem, J.: 1982, The Logic of Time, Reidel, Dordrecht."}],"container-title":["Lecture Notes in Computer Science","Natural Language and Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53082-7_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:21:54Z","timestamp":1640920914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53082-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540530824","9783540466536"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-53082-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}