|
21
|
Polymorphic Type Inference and Semi-Unification
– Fritz Henglein
- 1989
|
|
2
|
Left-Corner Parsing Algorithm for Unification Grammars
– Noriko Tomuro
- 1999
|
|
82
|
Feature Constraint Logics for Unification Grammars
– Gert Smolka
- 1992
|
|
47
|
Representation and reasoning with attributive descriptions
– Bernhard Nebel, Gert Smolka
- 1990
|
|
301
|
The Logic of Typed Feature Structures
– Bob Carpenter, Fernando Pereira
- 1992
|
|
13
|
Lexicalist Machine Translation of Spatial Prepositions
– Indalecio Arturo Trujillo
- 1995
|
|
1
|
Collections, Sets and Types
– Calcul Symbolique, Gilles Dowek, Gilles Dowek, Projet Coq
- 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
|
|
129
|
Type Inference with Polymorphic Recursion
– Fritz Henglein
- 1991
|
|
95
|
Higher-order Unification via Explicit Substitutions (Extended Abstract)
– Gilles Dowek, Thérèse Hardin, Claude Kirchner
- 1995
|
|
32
|
Feature Logics
– William C. Rounds
- 1994
|
|
31
|
Category Structures
– Gerald Gazdar, Geoffrey K. Pullum, Robert Carpenter, Ewan Klein, Thomas E. Hukari, Robert D. Levine
- 1988
|
|
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
|
|
2
|
Clause Aggregation: An Approach to Generating Concise Text
– James C. Shaw
- 2002
|
|
19
|
Types in Functional Unification Grammars
– Michael Elhadad
- 1990
|
|
189
|
HiLog: A foundation for higher-order logic programming
– Weidong Chen, Michael Kifer, David S. Warren
- 1993
|
|
46
|
Practical Unification-based Parsing of Natural Language
– John Andrew Carroll
- 1993
|
