Bibliography

1

Anne Abeille.
Parsing french with tree adjoining grammar: some linguistic accounts.
In Proceedings of the 12th International Conference on Computational Linguistics (COLING), Budapest, 1988.

2

Hiyan Alshawi, David Carter, and Manny Rayner.
Translation by quasi logical form transfer.
In 29th Annual Meeting of the Association for Computational Linguistics, Berkeley, 1991.

3

Hiyan Alshawi and Stephen G. Pulman.
Ellipsis, comparatives, and generation.
In Hiyan Alshawi, editor, The Core Language Engine, pages 251-275. ACL-MIT press, Cambridge Mass., 1992.
chapter 13.

4

Douglas E. Appelt.
Bidirectional grammars and the design of natural language generation systems.
In Theoretical Issues in Natural Language Processing 3, pages 206-212, New Mexico State University, 1987.

5

K. R. Apt.
Introduction to logic programming.
Technical Report CS-R8741, Centrum voor Wiskunde en Informatica (Centre for Mathematics and Computer Science), Amsterdam, 1987.
also appears in: Handbook of Theoretical Computer Science (J. van Leeuwen, managing editor), North Holland.

6

Doug Arnold, Steven Krauwer, Mike Rosner, Louis des Tombe, and Nino Varile.
The CAT framework in eurotra: A theoretically committed notation for MT.
In Proceedings of the 11th International Conference on Computational Linguistics (COLING), Bonn, 1986.

7

Doug Arnold, Steven Krauwer, Louisa Sadler, and Louis des Tombe.
Relaxed compositionality in machine translation.
In Proceedings of the Second International Conference on Theoretical and Methodological issues in Machine Translation of Natural Languages, Pittsburg, 1988. Carnegie Mellon University.

8

Emmon Bach.
Control in Montague grammar.
Linguistic Inquiry, 10:515-553, 1979.

9

Hans Ulrich Block.
Compiling trace & unification grammar for parsing and generation.
In Proceedings of the ACL workshop Reversible Grammar in Natural Language Processing, Berkeley, 1991.

10

Joan Bresnan, editor.
The Mental Representation of Grammatical Relations.
MIT Press, Cambridge Mass., 1982.

11

Stephan Busemann.
Generierung natuerlicher Sprache mit Generalisierten Phrasenstruktur-Grammatiken.
PhD thesis, University of the Saar, 1990.
Also available as TU Berlin, Dept. of Computer Science, KIT report 87.

12

Jonathan Calder, Mike Reape, and Henk Zeevat.
An algorithm for generation in unification categorial grammar.
In Fourth Conference of the European Chapter of the Association for Computational Linguistics, pages 233-240, Manchester, 1989.

13

Alain Colmerauer.
PROLOG II: Manuel de réference et modèle théorique.
Groupe d'Intelligence Artificielle, Faculté, des Sciences de Luminy, Marseille, France, 1982.

14

Luis Damas and Giovanni B. Varile.
Constraint logic grammars.
In Proceedings of the 13th International Conference on Computational Linguistics (COLING), Helsinki, 1990.

15

David Dowty.
Towards a minimalist theory of syntactic structure.
In Proceedings of the Symposium on Discontinuous Constituency, ITK Tilburg, 1990.

16

Marc Dymetman.
Inherently reversible grammars, logic programming and computability.
In Proceedings of the ACL workshop Reversible Grammar in Natural Language Processing, Berkeley, 1991.

17

Marc Dymetman and Pierre Isabelle.
Reversible logic grammars for machine translation.
In Proceedings of the Second International Conference on Theoretical and Methodological issues in Machine Translation of Natural Languages, Pittsburg, 1988.

18

Marc Dymetman, Pierre Isabelle, and Francois Perrault.
A symmetrical approach to parsing and generation.
In Proceedings of the 13th International Conference on Computational Linguistics (COLING), Helsinki, 1990.

19

Jay Earley.
An efficient context-free parsing algorithm.
Communications of the ACM, 14, 1970.

20

Arnold Evers.
The Transformational Cycle in Dutch and German.
PhD thesis, Rijksuniversiteit Utrecht, 1975.

21

J. E. Fenstad, P-K Halvorsen, T. Langholm, and J. van Benthem.
Situations, Language and Logic.
Reidel, Dordrecht, 1987.

22

Clare Gardent and Agnes Plainfossé.
Generating from a deep structure.
In Proceedings of the 13th International Conference on Computational Linguistics (COLING), Helsinki, 1990.

23

Gerald Gazdar, Ewan Klein, Geoffrey Pullum, and Ivan Sag.
Generalized Phrase Structure Grammar.
Blackwell, 1985.

24

Dale Douglas Gerdemann.
Parsing and Generation of Unification Grammars.
PhD thesis, University of Illinois at Urbana-Champaign, 1991.
Cognitive Science technical report CS-91-06 (Language Series).

25

Andrew Haas.
A parsing algorithm for unification grammar.
Computational Linguistics, 15(4), 1989.

26

Per-Kristian Halvorsen and Ronald Kaplan.
Projections and semantic description in lexical-functional grammar.
In Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, 1988. Institute for New Generation Computer Technology.

27

J. Haviland.
Guugu yimidhirr.
In R. Dixon and B. Blake, editors, Handbook of Australian Languages. Benjamins Amsterdam, 1979.

28

Mark Hepple.
The Grammar and Processing of Order and Dependency: a Categorial Approach.
PhD thesis, University of Edinburgh, 1990.

29

Susan Hirsch.
P-PATR: A compiler for unification-based grammars.
In Veronique Dahl and Patrick Saint-Dizier, editors, Natural Language Understanding and Logic Programming II. North Holland, 1988.

30

Jack Hoeksema.
A categorial theory of reanalysis phenomena, 1991.
ms. RUG Groningen.

31

Jack Hoeksema.
Complex predicates and liberation in dutch and English.
Linguistics and Philosophy, 14:661-710, 1991.

32

Markus Höhfeld and Gert Smolka.
Definite relations over constraint languages.
Technical Report 53, LILOG IBM, Stuttgart, 1988.
Journal of Logic Programming.

33

John E. Hopcroft and Jeffrey D. Ullman.
Introduction to Automata Theory, Languages and Computation.
Addison Wesley, 1979.

34

Riny Huybrechts.
The weak inadequacy of context-free phrase structure grammars.
In Ger de Haan, Mieke Trommelen, and Wim Zonneveld, editors, Van Periferie naar Kern. Foris, 1984.

35

Pierre Isabelle.
Towards reversible MT systems.
In MT Summit II, Munich, 1989.

36

Pierre Isabelle, Marc Dymetman, and Elliott Macklovitch.
CRITTER: a translation system for agricultural market reports.
In Proceedings of the 12th International Conference on Computational Linguistics (COLING), Budapest, 1988.

37

R. S. Jackendoff.
X' Syntax: A Study of Phrase Structure.
MIT press, Cambridge Mass., 1977.

38

Mark Johnson.
Parsing with discontinuous constituents.
In 23th Annual Meeting of the Association for Computational Linguistics, Chicago, 1985.

39

Mark Johnson.
Attribute Value Logic and the Theory of Grammar.
Center for the Study of Language and Information Stanford, 1988.

40

A. K. Joshi, L. S. Levy, and M. Takahashi.
Tree adjunct grammars.
Journal Computer Systems Science, 10(1), 1975.

41

Ronald M. Kaplan, Klaus Netter, Jürgen Wedekind, and Annie Zaenen.
Translation by structural correspondences.
In Fourth Conference of the European Chapter of the Association for Computational Linguistics, Manchester, 1989.

42

J. Katz.
Effability and translation.
In Guenthner and Guenthner-Reutter, editors, Meaning and Translation. Duckworth, 1978.

43

Martin Kay.
Syntactic processing and functional sentence perspective.
In Theoretical Issues in Natural Language Processing -- supplement to the Proceedings, pages 12-15, Cambridge Massachusetts, 1975.

44

Martin Kay.
Functional unification grammar: A formalism for machine translation.
In Proceedings of the 10th International Conference on Computational Linguistics and the 22nd Annual Meeting of the Association for Computational Linguistics (COLING), Stanford, 1984.

45

Martin Kay.
Parsing in functional unification grammar.
In David R. Dowty, Lauri Karttunen, and Arnold M. Zwicky, editors, Natural Language Parsing. Ellis Horwood/Wiley, 1985.

46

Martin Kay.
Head driven parsing.
In 1st International Workshop on Parsing Technologies (IWPT '89), Carnegie Mellon University, Pittsburg, 1989.

47

E. Keenan.
Some logical problems in translation.
In Guenthner and Guenthner-Reutter, editors, Meaning and Translation. Duckworth, 1978.

48

Margaret King, editor.
Machine Translation, the State of the Art.
Edinburgh University Press, 1987.

49

Jan Koster.
Dutch as an SOV language.
Linguistic Analysis, 1, 1975.

50

Robert Kowalski.
Logic for problem solving.
Elsevier Science Publishing, 1979.

51

Jan Landsbergen.
Isomorphic grammars and their use in the Rosetta translation system, 1984.
Paper presented at the tutorial on Machine Translation, Lugano; also appears in [48].

52

Jan Landsbergen.
Montague grammar and machine translation.
In Pete Whitelock, Mary McGee Wood, Harold Somers, Rod Johnson, and Paul Bennett, editors, Linguistic Theory & Computer Applications. Academic Press, London, 1987.

53

Jan Landsbergen.
Kunnen machines vertalen?, 1989.
Oratie Rijksuniversiteit Utrecht, ISBN 90-9003208-8.

54

Rene Leermakers.
Non-deterministic recursive ascent parsing.
In Fifth Conference of the European Chapter of the Association for Computational Linguistics, Berlin, 1991.

55

Y. Matsumoto, H. Tanaka, H. Hirakawa, H. Miyoshi, and H. Yasukawa.
BUP: a bottom up parser embedded in Prolog.
New Generation Computing, 1(2), 1983.

56

J. McCloskey.
A VP in a VSO language?
In Gerald Gazdar, Ewan Klein, and Geoffrey K. Pullum, editors, Order, Concord and Constituency. Foris, 1983.

57

Kathleen McKeown.
Text Generation.
Cambridge University Press, Cambridge, England, 1985.

58

Robert C. Moore.
Unification-based semantic interpretation.
In 27th Annual Meeting of the Association for Computational Linguistics, Vancouver, 1989.

59

Michael Moortgat.
A fregean restriction on meta-rules.
In Proceedings of NELS 14, University of Massachusetts, Amherst, 1984.

60

John Nerbonne.
Feature-based disambiguation.
In M. Rosner, C. J. Rupp, and R. Johnson, editors, Constraint Propagation, Linguistic Description, and Computation, Lugano, 1991.
Istituto Dalle Molle IDSIA, Working Paper No. 5.

61

John Nerbonne.
Constraint-based semantics.
Technical Report RR-92-18, DFKI Saarbrücken, 1992.

62

Günter Neumann and Gertjan van Noord.
Self-monitoring with reversible grammars.
In Proceedings of the 14th International Conference on Computational Linguistics (COLING), pages 700-706, Nantes, 1992.

63

Fernando C. N. Pereira.
Extraposition grammars.
Computational Linguistics, 7(4), 1981.

64

Fernando C. N. Pereira and Stuart M. Shieber.
Prolog and Natural Language Analysis.
Center for the Study of Language and Information Stanford, 1987.

65

Fernando C. N. Pereira and David Warren.
Definite clause grammars for language analysis -- a survey of the formalism and a comparison with augmented transition networks.
Artificial Intelligence, 13, 1980.

66

Fernando C. N. Pereira and David Warren.
Parsing as deduction.
In 21st Annual Meeting of the Association for Computational Linguistics, Cambridge Massachusetts, 1983.

67

Carl Pollard.
Generalized Context-Free Grammars, Head Grammars, and Natural Language.
PhD thesis, Stanford, 1984.

68

Carl Pollard.
Categorial grammar and phrase structure grammar: An excursion on the syntax-semantics frontier.
In Richard T. Oehrle, Emmon Bach, and Deirdre Wheeler, editors, Categorial Grammars and Natural Language Structures. D. Reidel, Dordrecht, 1988.

69

Carl Pollard and Ivan Sag.
Information Based Syntax and Semantics, Volume 1.
Center for the Study of Language and Information Stanford, 1987.

70

W. V. Quine.
Word and Object.
MIT Press, 1960.

71

Mike Reape.
A logical treatment of semi-free word order and bounded discontinuous constituency.
In Fourth Conference of the European Chapter of the Association for Computational Linguistics, UMIST Manchester, 1989.

72

Mike Reape.
Getting things in order.
In Proceedings of the Symposium on Discontinuous Constituency, ITK Tilburg, 1990.

73

Mike Reape.
Parsing bounded discontinuous constituents: Generalisations of some common algorithms.
In Proceedings of the first CLIN dag. OTS RUU Utrecht, 1991.

74

Herbert Ruessink and Gertjan van Noord.
Remarks on the bottom-up generation algorithm, 1989.
unpublished paper.

75

C. J. Rupp.
Constraint propagation and semantic representation.
In M. Rosner, C. J. Rupp, and R. Johnson, editors, Constraint Propagation, Linguistic Description, and Computation, Lugano, 1991.
Istituto Dalle Molle IDSIA, Working Paper No. 5.

76

Graham Russell, Afzal Ballim, Dominique Estival, and Susan Warwick.
A language for the statement of binary relations over feature structures.
In Fifth Conference of the European Chapter of the Association for Computational Linguistics, Berlin, 1991.

77

Graham Russell, Susan Warwick, and John Carroll.
Asymmetry in parsing and generating with unification grammars: Case studies from ELU.
In 28th Annual Meeting of the Association for Computational Linguistics, University of Pittsburg, 1990.

78

Louisa Sadler and Henry S. Thompson.
Structural non-correspondence in translation.
In Fifth Conference of the European Chapter of the Association for Computational Linguistics, Berlin, 1991.

79

Giorgio Satta and Oliviero Stock.
Head-driven bidirectional parsing. A tabular method.
In Proceedings of the Workshop on Parsing Technologies, pages 43-51, Pittsburg, 1989.

80

Giorgio Satta and Oliviero Stock.
Bidirectional context-free grammar parsing for natural language processing, 1991.
Ms. IRST Trento.

81

Yves Schabes.
Mathematical and Computational Aspects of Lexicalized Grammars.
PhD thesis, University of Pennsylvania, 1990.

82

Stuart M. Shieber.
Using restriction to extend parsing algorithms for complex-feature-based formalisms.
In 23th Annual Meeting of the Association for Computational Linguistics, Chicago, 1985.

83

Stuart M. Shieber.
A uniform architecture for parsing and generation.
In Proceedings of the 12th International Conference on Computational Linguistics (COLING), Budapest, 1988.

84

Stuart M. Shieber.
Parsing and Type Inference for Natural and Computer Languages.
PhD thesis, Stanford University, 1989.
SRI International Technical note 460.

85

Stuart M. Shieber, Hans Uszkoreit, Fernando C. N. Pereira, J. Robinson, and M. Tyson.
The formalism and implementation of PATR-II.
In B. J. Grosz and M. E. Stickel, editors, Research on Interactive Acquisition and Use of Knowledge. SRI report, 1983.

86

Stuart M. Shieber, Gertjan van Noord, Robert C. Moore, and Fernando C. N. Pereira.
A semantic-head-driven generation algorithm for unification based formalisms.
In 27th Annual Meeting of the Association for Computational Linguistics, pages 7-17, Vancouver, 1989.

87

Stuart M. Shieber, Gertjan van Noord, Robert C. Moore, and Fernando C. N. Pereira.
Semantic-head-driven generation.
Computational Linguistics, 16(1):30-42, 1990.

88

Klaas Sikkel and Rieks op den Akker.
Head-corner chart parsing.
In Proceedings Computer Science in the Netherlands (CSN '92), Utrecht, 1992.

89

Gert Smolka.
A feature logic with subsorts.
Technical report, IBM Wissenschaftliches Zentrum, Institut für Wissensbasierte Systeme, 1988.
LILOG report 33, also to appear in Journal of Automated Reasoning.

90

Mark Steedman.
Dependency and coordination in the grammar of Dutch and English.
Language, 61, 1985.

91

Henry Thompson.
Strategy and tactics: a model for language production.
In Papers from the Thirteenth Regional Meeting, Chicago Linguistic Society, 1977.

92

Henry S. Thompson.
Generation and translation - towards a formalism-independent characterization.
In Proceedings of ACL workshop Reversible Grammar in Natural Language Processing, Berkeley, 1991.

93

Hans Uszkoreit.
Categorial unification grammar.
In Proceedings of the 11th International Conference on Computational Linguistics (COLING), Bonn, 1986.

94

Kees van Deemter.
Structured meanings.
In Proceedings of the 13th International Conference on Computational Linguistics (COLING), Helsinki, 1990.

95

Kees van Deemter.
On the Composition of Meaning. Four variations on the Theme of Compositionality in Natural Language Processing.
PhD thesis, Universiteit van Amsterdam, 1991.

96

Jan van Eijck and Robert C. Moore.
Semantic rules for English.
In Hiyan Alshawi, editor, The Core Language Engine, pages 83-115. ACL-MIT press, Cambridge Mass., 1992.
chapter 5.

97

Gertjan van Noord.
BUG: A directed bottom-up generator for unification based formalisms.
Working Papers in Natural Language Processing, Katholieke Universiteit Leuven, Stichting Taaltechnologie Utrecht, 4, 1989.

98

Gertjan van Noord.
An overview of head-driven bottom-up generation.
In Robert Dale, Chris Mellish, and Michael Zock, editors, Current Research in Natural Language Generation, pages 141-165. Academic Press, 1990.

99

Gertjan van Noord.
Reversible unification-based machine translation.
In Proceedings of the 13th International Conference on Computational Linguistics (COLING), pages 299-304, Helsinki, 1990.

100

Gertjan van Noord.
Head corner parsing.
In Mike Rosner, C. J. Rupp, and Rod Johnson, editors, Constraint Propagation, Linguistic Description and Computation, pages 181-202, Lugano, 1991.
Working paper No. 5, Istitute Dalle Molle IDSIA.

101

Gertjan van Noord.
Head corner parsing for discontinuous constituency.
In 29th Annual Meeting of the Association for Computational Linguistics, pages 114-121, Berkeley, 1991.

102

Gertjan van Noord, Joke Dorrepaal, Doug Arnold, Steven Krauwer, Louisa Sadler, and Louis des Tombe.
An approach to sentence-level anaphora in machine translation.
In Fourth Conference of the European Chapter of the Association for Computational Linguistics, pages 299-307, Manchester, 1989.

103

Gertjan van Noord, Joke Dorrepaal, Pim van der Eijk, Maria Florenza, and Louis des Tombe.
The MiMo2 research system.
In Proceedings of the Third International Conference on Theoretical and Methodological issues in Machine Translation of Natural Languages, pages 213-231, University of Texas at Austin, 1990.

104

Gertjan van Noord, Joke Dorrepaal, Pim van der Eijk, Maria Florenza, Herbert Ruessink, and Louis des Tombe.
An overview of MiMo2.
Machine Translation, 6:201-214, 1991.

105

K. Vijay-Shanker.
Using descriptions of trees in a tree adjoining grammar.
Computational Linguistics, 18(4), 1993.

106

K. Vijay-Shanker and Aravind K. Joshi.
Feature structure based tree adjoining grammar.
In Proceedings of the 12th International Conference on Computational Linguistics (COLING), Budapest, 1988.

107

K. Vijay-Shanker, David J. Weir, and Aravind K. Joshi.
Characterizing structural descriptions produced by various grammatical formalisms.
In 25th Annual Meeting of the Association for Computational Linguistics, Stanford, 1987.

108

Jürgen Wedekind.
Generation as structure driven derivation.
In Proceedings of the 12th International Conference on Computational Linguistics (COLING), Budapest, 1988.

109

Jürgen Wedekind, Jochen Dörre, Andreas Eisele, Jo Calder, and Mike Reape.
A survey of linguistically motivated extensions to unification-based formalisms.
Technical report, Dyana Esprit, Centre for Cognitive Science, University of Edinburgh, 1990.
Dyana Deliverable R3.1.A.

110

David J. Weir.
Characterizing Mildly Context-Sensitive Grammar Formalisms.
PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1988.

111

Pete Whitelock.
Shake-and-bake translation.
In Mike Rosner, C. J. Rupp, and Rod Johnson, editors, Constraint Propagation, Linguistic Description and Computation, Lugano, 1991.
Working paper No. 5, Istitute Dalle Molle IDSIA.

112

Rémi Zajac.
A transfer model using a typed feature structure rewriting system with inheritence.
In 27th Annual Meeting of the Association for Computational Linguistics, Vancouver, 1989.

113

Henk Zeevat, Ewan Klein, and Jo Calder.
Unification categorial grammar.
In Nicholas Haddock, Ewan Klein, and Glyn Morrill, editors, Categorial Grammar, Unification Grammar and Parsing. Centre for Cognitive Science, University of Edinburgh, 1987.
Volume 1 of Working Papers in Cognitive Science.

114

Arnold M. Zwicky.
Concatenation and liberation.
In Anne M. Farley et al., editor, Proceedings of the Twenty-Second Regional Meeting of the Chicago Linguistics Society, Chicago, 1986.