Skip to main content
SpringerLink
Log in

A formalism for natural language — STUF

  • Chapter
  • First Online:
Text Understanding in LILOG

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

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. Hassan AÏt-Kaci: An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351, 1986

    Article  Google Scholar 

  2. Hassan AÏt-Kaci, Roger Nasr: LOGIN: A logic programming language with built-in inheritance. Journal of Logic Programming, 3:185–215, 1986

    Article  Google Scholar 

  3. Noam A. Chomsky: Lectures on Government and Binding. Foris, Dordrecht, 1981

    Google Scholar 

  4. Martin Kay: Functional grammar. In Proceedings of the Fifth Annual Meeting of the Berkeley Linguistics Society, Berkeley Linguistics Society, Berkeley, CA, 1979

    Google Scholar 

  5. Ronald M. Kaplan, Joan Bresnan: Lexical-Functional Grammar: A formal system for grammatical representation. In J. Bresnan (ed.): The Mental Representation of Grammatical Relations, pp. 173–381. MIT Press, Cambridge, MA, 1982

    Google Scholar 

  6. Robert T. Kasper, William C. Rounds: A logical semantics for feature structures. In Proceedings of the 24th Annual Meeting of the ACL, Columbia University, pp. 257–265, New York, NY, 1986

    Google Scholar 

  7. Carl Pollard, Ivan A. Sag: Information-Based Syntax and Semantics. CSLI Lecture Notes 13. Center for the Study of Language and Information, Stanford University, Stanford, CA, 1987

    Google Scholar 

  8. Fernando C.N. Pereira, David H.D. Warren: Definite clause grammars for language analysis—a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence, 13:231–278, 1980

    Article  Google Scholar 

  9. Stuart M. Shieber: Parsing and type inference for natural and computer languages. Technical Note 460, SRI International, Artificial Intelligence Center, Menlo Park, CA, March 1989

    Google Scholar 

  10. Gert Smolka: A feature logic with subsorts. LILOG Report 33, IWBS, IBM Deutschland, Stuttgart, May 1988. To appear in Journal of Automated Reasoning

    Google Scholar 

  11. Gert Smolka: Feature constraint logics for unification grammars. IWBS Report 93, IWBS, IBM Deutschland, Stuttgart, November 1989. To appear in Jürgen Wedekind, Christian Rohrer (eds.): Unification in Grammar, MIT Press, Cambridge, MA, 1991

    Google Scholar 

  12. Stuart M. Shieber, Hans Uszkoreit, Fernando C.N. Pereira, J.J. Robinson, M. Tyson: The formalism and implementation of PATR-II. In J. Bresnan (ed.): Research on Interactive Acquisition and Use of Knowledge. SRI International, Artificial Intelligence Center, Menlo Park, CA, 1983

    Google Scholar 

Download references

Authors
  1. Jochen Dörre
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roland Seiffert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Otthein Herzog Claus-Rainer Rollinger

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Dörre, J., Seiffert, R. (1991). A formalism for natural language — STUF. In: Herzog, O., Rollinger, CR. (eds) Text Understanding in LILOG. Lecture Notes in Computer Science, vol 546. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54594-8_48

Download citation

  • DOI: https://doi.org/10.1007/3-540-54594-8_48

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54594-1

  • Online ISBN: 978-3-540-38493-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation