Preview
Unable to display preview. Download preview PDF.
References
Barwise, J.: 1989, The Situation in Logic, CSLI Lecture Notes No. 17.
Barwise, J. and R. Cooper: 1981, ‘Generalized Quantifiers and Natural Language', Linguistics and Philosophy 4, 159–219.
Barwise, J. and J. Perry: 1983, Situations and Attitudes, Bradford Books, Cambridge.
Bennett, M.R.: 1975 'some Extensions of a Montague Fragment of English', thesis, distributed by the Indiana University Linguistics Club.
Blau, U.: 1981, ‘Collective Objects', Theoretical Linguistics 8, 101–130.
Boolos, G.: 1984, ‘To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables)', Journal of Philosophy 81, 430–449.
Bresnan, J. (ed.): 1982, The Mental Representation of Grammatical Relations, MIT Press.
Cohn, A. G.: 1987, ‘A More Expressive Formulation of Many Sorted Logic', J. Automated Reasoning 3, 113–200.
Colban, E.: 1987, ‘Prepositional Phrases in Situation Schemata', published as Appendix A to Fenstad et al. (1987).
Donellan, K.S.: 1966, ‘Reference and Definite Descriptions', Philosophical Review 75, 281–304.
Dyvik, H.: 1988, ‘Sentence Synthesis from Situation Schemata: A Unification-based Algorithm', Nordic Journal of Linguistics 11(1–2), 17–32.
Fenstad, J. E.: 1988, ‘Natural Language Systems', in Advanced Topics in Artificial Intelligence, R. T. Nossum (ed.), Springer-Verlag.
Fenstad, J. E., P. K. Halvorsen, T. Langholm, and J. van Benthem: 1985, ‘Equations, Schemata and Situations', CSLI Report No. CSLI-85-29. Preliminary version of Fenstad et al. (1987).
Fenstad, J. E., P. K. Halvorsen, T. Langholm, and J. van Benthem: 1987, Situations, Language and Logic, Reidel, Dordrecht.
Fenstad, J. E., T. Langholm, E. Vestre: 1990, ‘Representations and Interpretations', in Proceedings of the Tutorials and Workshop on Formal Semantics and Computational Linguistics. Lugano, August 1988.
Fodor, J.D. and Sag, I.A.: 1982, ‘Referential and Quantificational Indefinites', Linguistics and Philosophy 5, 355–398.
Frey, W. and H. Kamp: 1990, 'some Problems about Definite Plural Noun Phrases', in this volume.
Gärdenfors, P.: 1987, ‘Induction, Conceptual Spaces and AI', in Proceedings of the Workshop on Inductive Reasoning, Risø National Lab., Roskilde, Denmark.
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.
Halvorsen, P. K. and R. M. Kaplan: 1988, ‘Projections and Semantic Description in Lexical-Functional Grammar', in Proceedings of the International Conference on Fifth Generation Computer systems, FGCS-88, Tokyo, Japan, November 1988.
Hoeksema, J.: 1983, ‘Plurality and Conjunction’ in A.G.B. ter Meulen (ed.), Studies in Modeltheoretic Semantics, Foris, Dordrecht, 63–83.
Johnson, M.: 1988, Attribute-Value Logic and the Theory of Grammar, CSLI Lecture Notes No. 16.
Johnson, R., M. Rosner and C. J. Rupp: 1990, 'situation Schemata and Linguistic Representation’ in Proceedings of the Tutorials and Workshop on Formal Semantics and Computational Linguistics. Lugano, August 1988.
Keisler, H.J.: 1970, ‘Logic with the quantifier ‘there exists uncountably many'', Annals of Math. Logic 1, 1–93.
Landman, F.: 1988, ‘Groups, Plural Individuals and Intentionality’ in J. Gronendijk, M. Stokhof and F. Veltman (eds.), Proceedings of the Sixth Amsterdam Colloquium. April 13–16 1987, ITLI, University of Amsterdam, 197–217.
Landman, F.: 1989, ‘Groups 1', Linguistics and Philosophy 12, 559–605.
Langholm, T.: 1989, ‘Algorithms for Partial Logics', Cosmos preprint No 12, Dept. of Mathematics, University of Oslo.
Leonard, H.S. and N. Goodman: 1940, ‘The Calculus of Individuals and its Uses', Journal of Symbolic Logic 5, 45–55.
Link, G.: 1983, ‘The Logical Analysis of Plurals and Mass Terms: A lattice-Theoretical Approach’ in R. Bäuerle, C. Schwarze and A. von Stechow (eds.), Meaning, Use and Interpretation of Language, Walter de Gruyter, Berlin.
Link, G.: 1984, ‘Hydras: On the Logic of Relative Constructions with Multiple Heads’ in F. Landmann and F. Veltmann (eds.), Varieties of Formal Semantics, Foris, Dordrecht, 245–257.
Link, G.: 1987, ‘Generalized Quantifiers and Plurals’ in P. Gärdenfors (ed.), Generalized Quantifiers. Linguistic and Logical Approaches, Reidel, Dordrecht, 151–180.
Lønning, J.T.: 1987a, ‘Mass Terms and Quantification', Linguistics and Philosophy 10, 1–52.
Lønning, J.T.: 1987b, ‘Collective Readings of Definite and Indefinite Noun Phrases’ in P. Gärdenfors (ed.), Generalized Quantifiers. Linguistic and Logical Approaches, Reidel, Dordrecht, 203–235.
Lønning, J.T.: 1989a, 'some Aspects of the Logic of Plural Noun Phrases', thesis, Dept. of Mathematics, University of Oslo, Cosmos preprint no 11.
Lønning, J.T.: 1989b, ‘Computational Semantics of Mass Terms', in Proceedings of the Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, April 1989, 205–211.
Massey, G.: 1976, ‘Tom, Dick and Harry, and all the King's men', American Philosophical Quarterly 13, 89–107.
Meier, J, D. Metzing, T. Polzin, P. Ruhrberg, H. Rutz and M. Vollmer: 1988, ‘Generierung von Wegbeschreibungen', KOLIBRI Arbeitsbericht nr. 9, DFG-Forschergruppe Kohärenz, Fakultät für Linguistik und Literaturwissenschaft der Universität Bielefeld. In German.
Pinkal, M.: 1990, ‘On the Logical Structure of Comparatives', this volume.
Pollard, C. and I. Sag: 1987, Information-Based Syntax and Semantics, CSLI Lecture Notes No. 13.
Scha, R.: 1981, ‘Distributive, Collective and Cumulative Quantification’ 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–512.
Sells, P.: 1985, Lectures on Contemporary Syntactic Theories, CSLI Lecture Notes No. 3.
van Benthem, J.: 1982, The Logic of Time, Reidel, Dordrecht.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fenstad, J.E., Lønning, J.T. (1990). Computational semantics: Steps towards “intelligent” text processing. In: Studer, R. (eds) Natural Language and Logic. Lecture Notes in Computer Science, vol 459. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53082-7_18
Download citation
DOI: https://doi.org/10.1007/3-540-53082-7_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53082-4
Online ISBN: 978-3-540-46653-6
eBook Packages: Springer Book Archive