ACL RD-TEC 1.0 Summarization of E89-1032
Paper Title:
AN ALGORITHM FOR GENERATION IN UNIFICATION CATEGORIAL GRAMMAR
AN ALGORITHM FOR GENERATION IN UNIFICATION CATEGORIAL GRAMMAR
Authors: Jonathan Calder and Mike Reape and Henk Zeevat
Primarily assigned technology terms:
- algorithm
- approximation
- backtracking
- case-marking
- discourse representation
- encoding
- graph unification
- indexing
- instantiation
- knowledge bases
- knowledge representation
- lambek calculus
- lexical lookup
- listing
- parsing
- prolog
- reduction strategy
- search
- subcategorization
- term unification
- type raising
- unification
Other assigned terms:
- axioms
- bottom-up strategy
- case
- categorial grammar
- categorial grammars
- combinatory categorial grammar
- composition
- conjunction operator
- control strategy
- denotation
- derivational equivalence
- determiner
- discourse
- discourse representation theory
- fact
- feature
- feature structures
- formalisms
- generation
- grammar
- grammars
- implementation
- index
- knowledge
- lemma
- lexical entries
- lexical entry
- lexical item
- lexical sign
- lexicon
- logical equivalence
- method
- monotonicity requirement
- natural language
- natural language text
- parsability constraint
- permutation
- phrase
- phrase structure
- phrase structure rules
- planning component
- predicates
- prepositions
- procedure
- proper name
- representation language
- representation theory
- representations
- search space
- semantic
- semantic representation
- semantic representation language
- semantic representations
- semantic structure
- sentence
- sentences
- subsumption
- syntactic category
- syntax
- technique
- term
- terms
- text
- theory
- unbounded dependencies
- unification categorial grammar
- unification grammars
- word
- word order
- words
