Skip to main content
SpringerLink
Log in

Functor-argument structures for the meaning of natural language sentences and their formal interpretation

  • III. Sorts And Types In Natural Language (Understanding) Systems
  • Conference paper
  • First Online:
Sorts and Types in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 418))

  • 153 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S.Busemann, Ch.Hauenschild: From FAS Representations to GPSG Structures. In: [Busemann et al. 89].

    Google Scholar 

  2. S.Busemann, Ch.Hauenschild, C.Umbach (eds): Views of the Syntax Semantics Interface, TU Berlin KIT-Report 74, 1989.

    Google Scholar 

  3. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1, Springer Verlag, Berlin, 1985.

    MATH  Google Scholar 

  4. P. Geach: A Program for Syntax, Synthese 22, 1971, 3–17.

    Article  Google Scholar 

  5. G. Gazdar, E. Klein, G. Pullum, I. Sag: Generalized Phrase Structure Grammar, Blackwell, Oxford, 1985.

    Google Scholar 

  6. J.A.Goguen, J.W.Thatcher, E.G.Wagner: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC 6487, 1976.

    Google Scholar 

  7. J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright: Initial Algebra Semantics and Continuous Algebras, Journal of the ACM 24, 1977.

    Google Scholar 

  8. Ch. Hauenschild: KIT-NASEV oder die Problematik des Transfers bei der maschinellen Übersetzung. In: I. Batori, H.J. Weber (eds.): Neue Ansätze in maschineller Sprachübersetzung: Wissensrepräsentation und Textbezug, Niemeyer, Tübingen, 1986, 167–195.

    Google Scholar 

  9. Ch. Hauenschild, S. Busemann: A Constructive Version of GPSG for Machine Translation. In: E. Steiner, P. Schmidt, C. Zelinsky-Wibbelt (eds.): From Syntax to Semantics, Pinter Publishers, London, 1988.

    Google Scholar 

  10. Ch. Hauenschild, C. Umbach: Funktor-Argument-Struktur. Die satzsemantische Repräsentations-und Transferebene im Projekt KIT-FAST. In: J.Schütz (ed.): Workshop “Semantik und Transfer”. IAI Working Papers Nr. 6, Saarbrücken, 1988.

    Google Scholar 

  11. A. Kratzer, E. Pause, A. v.Stechow: Einführung in Theorie und Anwendung der generativen Syntax, Athenäum, Frankfurt/M, 1973.

    Google Scholar 

  12. J. Lambek: The Mathematics of Sentence Structure, In: American Mathematican Monthly 65, 1958, 154–169.

    Article  MathSciNet  Google Scholar 

  13. R.Milner: The Standard ML Core Language, Edinburgh University Internal Report CSR-168-84, 1984.

    Google Scholar 

  14. B.Möller, A.Tarlecki, M.Wirsing: Algebraic Specification with Buildt-In Domain Constructions. Lecture Notes in Computer Science 295, Springer Verlag, 1988.

    Google Scholar 

  15. R. Montague: Universal Grammar, in: Theoria 36, 1970, 373–398; Reprinted in: H. Thomason (ed.): Formal Philosophy, Selected Papers of Richard Montague, Yale University Press, New Haven, 1974, 222–246.

    Google Scholar 

  16. M. Moortgat: Categorial Investigations, Logical and Linguistical Aspects of the Lambek Calculus, Dissertation, Amsterdam, 1988

    Google Scholar 

  17. B. Partee, M. Rooth: Generalized Conjunctions and Type Ambiguity. In: R. Bäuerle, Ch. Schwarze, A.v. Stechow (eds.), Meaning, Use and Interpretation of Language, de Gruyter, Berlin, 1983, 361–383.

    Google Scholar 

  18. B. Partee: Noun Phrase Interpretation and Type-Shifting Principles. In: J. Groenendijk, D. de Jongh, M. Stockhof (eds.), Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, Foris, Dordrecht 1987.

    Google Scholar 

  19. A. Poigné: On Specifications, Theories, and Models with Higher Type. Information and Control 68, 1986, 1–46.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Software und Theoretische Informatik, Technische Universität Berlin, Franklinstraße 28/29, D-1000, Berlin 12

    Bernd Mahr & Carla Umbach

Authors
  1. Bernd Mahr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Carla Umbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Karl Hans Bläsius Ulrich Hedtstück Claus-Rainer Rollinger

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mahr, B., Umbach, C. (1990). Functor-argument structures for the meaning of natural language sentences and their formal interpretation. In: Bläsius, K.H., Hedtstück, U., Rollinger, CR. (eds) Sorts and Types in Artificial Intelligence. Lecture Notes in Computer Science, vol 418. Springer, Berlin, Heidelberg . https://doi.org/10.1007/3-540-52337-6_28

Download citation

  • DOI: https://doi.org/10.1007/3-540-52337-6_28

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52337-6

  • Online ISBN: 978-3-540-46965-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation