Unification: A multidisciplinary survey (1989)

by Kevin Knight
Venue:ACM Computing Surveys
Citations:103 - 0 self

Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
3 Left-Corner Parsing Algorithm for Unification Grammars – Noriko Tomuro - 1999
83 Feature Constraint Logics for Unification Grammars – Gert Smolka - 1992
49 Representation and reasoning with attributive descriptions – Bernhard Nebel, Gert Smolka - 1990
330 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992
13 Lexicalist Machine Translation of Spatial Prepositions – Indalecio Arturo Trujillo - 1995
24 A Complete Axiomatization of a Theory with Feature and Arity Constraints – Rolf Backofen - 1994
27 A Complete And Recursive Feature Theory – Rolf Backofen, Gert Smolka - 1992
Elsevier Attributive concept descriptions with complements – Manfred Schmidt-schaul, Gert Smolka - 1989
1 Collections, Sets and Types – Gilles Dowek - 1995
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
33 Feature Logics – William C. Rounds - 1994
30 Category Structures – Gerald Gazdar, Geoffrey K. Pullum, Robert Carpenter, Ewan Klein, Thomas E. Hukari, Robert D. Levine - 1988
A Survey of Liguistically Motivated Extensions to . . . – Jochen Dörre, Andreas Eisele, Jürgen Wedekind, Jo Calder, Mike Reape - 1990
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
2 Some Open Problems in Head-driven Generation – Dale Gerdemann, Erhard Hinrichs - 1995
2 Visions for logic-based Natural Language Processing – Gregor Erbach, Suresh Manandhar - 1995
19 Types in Functional Unification Grammars – Michael Elhadad - 1990
4 Clause Aggregation: An Approach to Generating Concise Text – James C. Shaw - 2002