ACL RD-TEC 1.0 Summarization of P97-1044
Paper Title:
MAXIMAL INCREMENTALITY IN LINEAR CATEGORIAL DEDUCTION
MAXIMAL INCREMENTALITY IN LINEAR CATEGORIAL DEDUCTION
Primarily assigned technology terms:
- binding
- chart parsing
- chart-parsing
- deduction method
- deduction system
- hypothetical reasoning
- incremental linear deduction method
- incremental parsing
- incremental processing
- indexing
- inferencing
- lambek calculus
- lexical look-up
- linear categorial deduction
- linear deduction
- natural deduction
- parser
- parsing
- parsing method
- processing
- processing approach
- proof reduction
- reading
- reasoning
- searching
- selection process
- theorem proving
- unification
Other assigned terms:
- ambiguity
- analogy
- approach
- argument position
- bias
- case
- categorial grammar
- categorial grammars
- combinatory categorial grammar
- composition
- composition rule
- deduction
- dependency grammar
- dependency relations
- dependency structures
- derivation
- derivational equivalence
- fact
- first order formulae
- first-order formulae
- formalisms
- grammar
- grammars
- index
- inference rule
- inferences
- labeling
- lambda
- lambda expression
- lexical type
- linear logic
- linear order
- logic
- meanings
- method
- normal form
- phrase-structure grammar
- procedure
- process
- relation
- reordering
- semantic
- sentence
- sentences
- spurious ambiguity
- style
- subcategorisation
- syntax
- syntax and semantics
- technique
- term
- terms
- theorem
- type structure
- word
- word order
- words
