ACL RD-TEC 1.0 Summarization of P01-1011
Paper Title:
UNDERSPECIFIED BETA REDUCTION
UNDERSPECIFIED BETA REDUCTION
Authors: Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren
Primarily assigned technology terms:
Other assigned terms:
- abbreviation
- abbreviations
- ambiguity
- approach
- case
- compositional semantics
- correlation
- distribution
- ellipsis
- exponential time
- fact
- finite set
- first-order logic
- first-order model
- generalized quantifier
- labeling
- lambda
- logic
- mapping
- maps
- meaning
- parallelism
- procedure
- process
- quantifier
- relation
- right-hand side
- segments
- sentence
- sentences
- source sentence
- subtrees
- symbol
- symbols
- target sentence
- term
- terms
- tree
- trees
- underspecification
