Skip to main content
SpringerLink
Log in

Design of a Prolog-based machine translation system

  • Conference paper
  • First Online:
Third International Conference on Logic Programming (ICLP 1986)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 225))

Included in the following conference series:

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

  • Bennett, W. S. and Slocum, J. (1985) "The LRC machine translation system," Computational Linguistics, vol. 11, pp. 111–121.

    Google Scholar 

  • Byrd, R. J. (1983) "Word formation in natural language processing systems," Proc. 8th International Joint Conference on Artificial Intelligence, pp. 704–706, Karlsruhe.

    Google Scholar 

  • Byrd, R. J. (1984) "The Ultimate Dictionary Users' Guide," IBM Research Internal Report.

    Google Scholar 

  • Colmerauer, A. (1971) "Les systèmes-Q: un formalisme pour analyser et synthétiser des phrases sur ordinateur," Groupe TAUM, Université de Montréal.

    Google Scholar 

  • Colmerauer, A. et al. (1971) "TAUM-71," Groupe TAUM, Université de Montréal.

    Google Scholar 

  • Colmerauer, A. (1975) "Les grammaires de métamorphose," Internal Report, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille.

    Google Scholar 

  • Colmerauer, A. (1978) "Metamorphosis grammars," in L. Bolc (Ed.), Natural Language Communication with Computers, Springer-Verlag.

    Google Scholar 

  • Dahl, V. (1977) "Un système déductif d'interrogation de banques de données en espagnol," Doctoral Thesis, Univ. Aix-Marseille.

    Google Scholar 

  • Dahl, V., and McCord, M. C. (1983) "Treating coordination in logic grammars," American Journal of Computational Linguistics, vol. 9, pp. 69–91.

    Google Scholar 

  • Gazdar, G., and Pullum, G. K. (1982) "Generalized phrase structure grammar: a theoretical synopsis," Indiana University Linguistics Club.

    Google Scholar 

  • Hirschman, L. (1986) "Conjunction in meta-restriction grammar," to appear in the Journal of Logic Programming.

    Google Scholar 

  • Huang, X-M. (1984a) "The generation of Chinese sentences from the semantic representations of English sentences," Proc. International Conference on Machine Translation, Cranfield, England.

    Google Scholar 

  • Huang, X-M. (1984b) "Dealing with conjunctions in a machine translation environment," Proc. of Joint ACL and COLING Meeting, 1984, pp. 243–246, Stanford, California.

    Google Scholar 

  • Huang, X-M (1985) "Machine translation in SDCG formalism," in (Nirenburg, 1985, these references), pp. 135–144.

    Google Scholar 

  • Hudson, R. A. (1971) English Complex Sentences, North-Holland.

    Google Scholar 

  • Isabelle, P. and Bourbeau, L. (1985) "TAUM-AVIATION: Its technical features and some experimental results," Computational Linguistics, vol. 11, pp. 18–27.

    Google Scholar 

  • Kittredge, R. et al. (1973) "TAUM-73," Groupe TAUM, Université de Montréal.

    Google Scholar 

  • Kittredge, R., Bourbeau, L., and Isabelle, P. (1973) "Design and implementation of a French transfer grammar," COLING-76, Ottawa.

    Google Scholar 

  • Kowalski, R. (1979) Logic for Problem Solving, North-Holland.

    Google Scholar 

  • Matsumoto, Y., Tanaka, H., and Kiyono, M., (1986) "BUP: A bottom-up parsing system for natural languages," in Logic Programming and its Applications, M. van Caneghem and D. H. D. Warren, Eds., pp. 262–275, Ablex.

    Google Scholar 

  • McCord, M. C. (1975) "On the form of a systemic grammar," Journal of Linguistics, vol. 11, pp. 195–212.

    Google Scholar 

  • McCord, M. C. (1982) "Using slots and modifiers in logic grammars for natural language," Artificial Intelligence, vol 18, pp. 327–367. (Appeared first as 1980 Technical Report, University of Kentucky.)

    Google Scholar 

  • McCord, M. C. (1981) "Focalizers, the scoping problem, and semantic interpretation rules in logic grammars," Technical Report, University of Kentucky. Appeared in Logic Programming and its Applications, M. van Caneghem and D. H. D. Warren, Eds., Ablex, 1986.

    Google Scholar 

  • McCord, M. C. (1984) "Semantic interpretation of the EPISTLE system," Proc. Second International Logic Programming Conference, pp. 65–76, Uppsala.

    Google Scholar 

  • McCord, M. C. (1985a) "Modular logic grammars," Proc. 23rd Annual Meeting of the Association for Computational Linguistics, pp. 104–117, Chicago.

    Google Scholar 

  • McCord, M. C. (1985b) "LMT: A Prolog-Based Machine Translation System" (extended abstract), in (Nirenburg, 1985, these references), pp. 179–182.

    Google Scholar 

  • McCord, M. C. (1986) "Notes on natural language processing in Prolog," IBM Internal Report.

    Google Scholar 

  • Nirenburg, S. (1985), Editor, Proc. of the Conference on Theoretical and Methodological Issues in Machine Translation of Natural Languages, Colgate University, Hamilton, NY, August 14–16, 1985.

    Google Scholar 

  • Pereira, F. and Warren, D. H. D. (1980) "Definite clause grammars for language analysis — a survey of the formalism and a comparison with transition networks," Artificial Intelligence, vol. 13, pp. 231–278.

    Article  Google Scholar 

  • Pereira, F. and Warren, D. H. D. (1983) "Parising as deduction," Proc. 21st Annual Meeting of the Association for Computational Linguistics, pp. 137–144, Cambridge, Mass.

    Google Scholar 

  • Sedogbo, C. (1984) "A meta grammar for handling coordination in logic grammars," Proc. Conference on natural language understanding and logic programming, pp. 137–149, Rennes, France.

    Google Scholar 

  • Slocum, J. (1985) "A survey of machine translation: its history, current status, and future prospects," Computational Linguistics, vol. 11, pp. 1–17.

    Google Scholar 

  • Teeple, D (1985) "Reasoning in Embedded Contexts," IBM Research Report RC11539, IBM TJ Watson Research, Yorktown Heights.

    Google Scholar 

  • Teeple, D and Yee, M. (1985) "KNOWMAN: A Natural Language Knowledge Manager," Internal IBM Report.

    Google Scholar 

  • Uehara, K., Ochitani, R., Kakusho, O., and Toyoda, J. (1984) "A bottom-up parser based on predicate logic: a survey of the formalism and its implementation technique," Proc. 1984 International Symposium on Logic Programming, IEEE, pp. 220–227, Atlantic City, NJ.

    Google Scholar 

  • Warren, D. H. D. (1975) "Earley deduction," Technical Note, Department of Artificial Intelligence, Univ. Edinburgh.

    Google Scholar 

  • Wilks, Y., Huang, X-M., and Fass, D. (1985) "Syntax, preference and right-attachment," Proc. 9th International Joint Conference on Artificial Intelligence, Los Angeles.

    Google Scholar 

  • Wolff, Susanne (1983) Lexical Entries and Word-Formation, Ph.D. dissertation, New York University. Distributed by Indiana University Linguistics Club.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Thomas J. Watson Research Center, P. O. Box 218, 10598, Yorktown Heights, NY

    Michael C. McCord

Authors
  1. Michael C. McCord
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ehud Shapiro

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

McCord, M.C. (1986). Design of a Prolog-based machine translation system. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_87

Download citation

  • DOI: https://doi.org/10.1007/3-540-16492-8_87

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16492-0

  • Online ISBN: 978-3-540-39831-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation