ACL RD-TEC 1.0 Summarization of P96-1001
Paper Title:
HIGHER-ORDER COLOURED UNIFICATION AND NATURAL LANGUAGE SEMANTICS
HIGHER-ORDER COLOURED UNIFICATION AND NATURAL LANGUAGE SEMANTICS
Authors: Claire Gardent and Michael Kohlhase
Primarily assigned technology terms:
- algorithm
- binding
- boolean constraint satisfaction
- colored unification
- decomposition
- direct association
- higher-order unification
- identification
- matching
- modeling
- occurrence restriction
- primary occurrence restriction
- quantification
- quantifier raising
- reading
- theorem proving
- unification
- unification process
- variable elimination
Other assigned terms:
- ambiguity
- anaphor
- anaphora
- anaphors
- approach
- argument position
- boolean constraint
- case
- concept
- concepts
- constraint satisfaction
- decidability
- denotation
- device
- discourse
- disjunction
- ellipsis
- fact
- feature
- feature structures
- finite set
- first order logic
- first-order logic
- formalization
- gapping
- grammar
- implementation
- interpretation
- interpretation process
- labeling
- linguistic
- linguistic information
- logic
- mapping
- maps
- method
- natural language
- normal form
- parallelism
- presupposition
- process
- projection
- pronominal anaphora
- pronoun
- pronouns
- propositional logic
- propositions
- quantifier
- representation language
- semantic
- semantic information
- semantic interpretation
- semantic representation
- semantic representation language
- semantic value
- subclass
- symbol
- symbols
- syntactic equality
- syntactic structure
- tags
- term
- terms
- theorem
- theory
- understanding
- utterance
- vp-ellipsis
