Skip to main content

Shuly Wintner

Introduction to Unification Grammars

  • Chapter
Recent Advances in Formal Languages and Applications

Part of the book series: Studies in Computational Intelligence ((SCI,volume 25))

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Aït-Kaci. A lattice-theoretic approach to computation based on a calculus of partially ordered types. Ph.D. thesis, University of Pennsylvania, 1984.

    Google Scholar 

  2. R. D. Borsley. Modern phrase structure grammar. Blackwell, Oxford, 1996.

    Google Scholar 

  3. G. Bouma and G. van Noord. Head-driven parsing for lexicalist grammars: Experimental results. Proceedings of the 6th Meeting of the European Chapter of the Association for Computational Linguistics, Utrecht, 1993, 71-80.

    Google Scholar 

  4. B. Carpenter. Typed feature structures: A generalization of first-order terms. Logic Programming - Proceedings of the 1991 International Symposium (V. Saraswat and U. Kazunori, eds.), Cambridge, MA. MIT Press, 1991, 187-201.

    Google Scholar 

  5. B. Carpenter. The Logic of Typed Feature Structures. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1992.

    MATH  Google Scholar 

  6. B. Carpenter and G. Penn. ALE: The attribute logic engine - user’s guide. Technical report, Lucent Technologies and Universität Tübingen, May, 1999.

    Google Scholar 

  7. N. Chomsky. Three models for the description of language. I. R. E. transactions on information theory, Proceedings of the symposium on information theory, IT2 (1956), 113-123.

    Article  Google Scholar 

  8. A. Copestake. The (new) LKB system. Technical report, Stanford University, September, 1999.

    Google Scholar 

  9. M. Dalrymple, R. M. Kaplan, J. T. Maxwell and A. Zaenen, eds. Formal Is- sues in Lexical-Functional Grammar, volume 47 of CSLI lecture notes. CSLI, Stanford, CA, 1995.

    Google Scholar 

  10. G. E. Gazdar, E. Klein, J. K. Pullum and I. A. Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, Mass., 1985.

    Google Scholar 

  11. E. Jaeger, N. Francez and S. Wintner. Unification grammars and off-line parsability. Journal of Logic, Language and Information, 13, 4 (2004).

    Google Scholar 

  12. J. Jaffar. Efficient unification over infinite terms. New Generation Computing, 2 (1984),207-219.

    Article  Google Scholar 

  13. M. Johnson. Attribute-Value Logic and the Theory of Grammar, volume 16 of CSLI Lecture Notes. CSLI, Stanford, California, 1988.

    Google Scholar 

  14. A. K. Joshi, L. Levy, and M. Takahashi. Tree Adjunct Grammars. Journal of Computer and System Sciences, 1975.

    Google Scholar 

  15. R. Kaplan and J. Bresnan. Lexical functional grammar: A formal system for grammatical representation. The Mental Representation of Grammatical Relations (J. Bresnan ed.), MIT Press, Cambridge, Mass., 1982, 173-281.

    Google Scholar 

  16. M. Kay. Functional unification grammar. 5th Annual Meeting of the Berkeley Linguistic Society, Berkeley, CA, 1979.

    Google Scholar 

  17. M. Kay. Unification grammar. Technical report, Xerox Palo Alto Research Center, Palo Alto, CA, 1983.

    Google Scholar 

  18. M. Kay. Parsing in functional unification grammar. Natural Language Parsing: Psychological, Computational and Theoretical Perspectives (D. Dowty, L. Karttunen, and A. Zwicky, eds.), Cambridge University Press, Cambridge, 1985, 251-278.

    Google Scholar 

  19. A. Manaster-Ramer. Dutch as a formal language. Linguistics and Philosophy, 10 (1987),221-246.

    Article  Google Scholar 

  20. A. Martelli and U. Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4, 2 (1982), 258-282.

    Article  MATH  Google Scholar 

  21. D. Moshier. Extensions to Unification Grammars for the Description of Programming Languages. Ph.D. thesis, University of Michigan, Ann Arbor, 1988.

    Google Scholar 

  22. F. C. N. Pereira and D. H. D. Warren. Parsing as deduction. Proceedings of the 21st Annual Meeting of the Association for Computational Linguistics, 1983, 137-144.

    Google Scholar 

  23. C. Pollard and I. A. Sag. Information Based Syntax and Semantics. Number 13 in CSLI Lecture Notes, CSLI, 1987.

    Google Scholar 

  24. C. Pollard and I. A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press and CSLI Publications, 1994.

    Google Scholar 

  25. J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12 (1965), 23-41.

    Article  MATH  Google Scholar 

  26. I. A. Sag and T. Wasow. Syntactic Theory: A Formal Introduction. CSLI, Stanford, 1999.

    MATH  Google Scholar 

  27. W. J. Savitch, E. Bach, W. Marsh and G. Safran-Naveh, eds. The formal complexity of natural language, volume 33 of Studies in Linguistics and Philosophy. D. Reidel, Dordrecht, 1987.

    Google Scholar 

  28. P. Sells. Lectures on contemporary syntactic theories: an introduction to government-binding theory, generalized phrase structure grammar, and lexicalfunctional grammar, volume 3 of CSLI lecture notes. CSLI, Stanford, CA, 1988.

    Google Scholar 

  29. S. M. Shieber, Y. Schabes and F. Pereira. Principles and implementation of deductive parsing. Journal of Logic Programming, 24, 1-2 (1995), 3-36.

    Article  MATH  MathSciNet  Google Scholar 

  30. S. M. Shieber. Evidence against the context-freeness of natural language. Linguistics and Philosophy, 8 (1985), 333-343.

    Article  Google Scholar 

  31. S. M. Shieber. An Introduction to Unification Based Approaches to Grammar. Number 4 in CSLI Lecture Notes, CSLI, 1986.

    Google Scholar 

  32. S. M. Shieber. Constraint-Based Grammar Formalisms. MIT Press, Cambridge, Mass., 1992.

    Google Scholar 

  33. S. M. Shieber, H. Uszkoreit, F. C. N. Pereira, J. J. Robinson and M. Tyson. The formalism and implementation of PATR-II. Research on Interactive Acquisition and Use of Knowledge. SRI International, Menlo Park, Cal., 1983.

    Google Scholar 

  34. K. Sikkel. Parsing Schemata. Texts in Theoretical Computer Science - An EATCS Series. Springer Verlag, Berlin, 1997.

    Google Scholar 

  35. M. Tomita, ed. Generalized LR Parsing. Kluwer Academic Publishing, 1991.

    Google Scholar 

  36. H. Uszkoreit. Categorial unification grammars. Proceedings of the 5th International Conference on Computational Linguistics, Bonn, 1986, 187-194.

    Google Scholar 

  37. K. Vijay-Shanker and A. K. Joshi. Unification Based Tree Adjoining Grammars. Unification-based Grammars (J. Wedekind ed.), MIT Press, Cambridge, Massachusetts, 1991.

    Google Scholar 

  38. S. Wintner. An Abstract Machine for Unification Grammars. Ph.D. thesis, Technion - Israel Institute of Technology, Haifa, Israel, January, 1997.

    Google Scholar 

  39. S. Wintner and N. Francez. Parsing with typed feature structures. Proceedings of the Fourth International Workshop on Parsing Technologies, Prague, 1995, 273-287.

    Google Scholar 

  40. S. Wintner and A. Sarkar. A note on typing feature structures. Computational Linguistics, 28, 3 (2002), 389-397.

    Article  Google Scholar 

  41. H. Zeevat, E. Klein and J. Calder. An introduction to unification categorial grammar. Edinburgh Working Papers in Cognitive Science, Vol. 1: Categorial Grammar, Unification Grammar, and Parsing (N. J. Haddock, E. Klein, and G. Morill, eds.), 1987.

    Google Scholar 

Download references

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

(2006). Shuly Wintner. In: Esik, Z., Martín-Vide, C., Mitrana, V. (eds) Recent Advances in Formal Languages and Applications. Studies in Computational Intelligence, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33461-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-33461-3_13

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-33461-3

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics