ACL RD-TEC 1.0 Summarization of P98-1088
Paper Title:
MEMOISATION FOR GLUE LANGUAGE DEDUCTION AND CATEGORIAL PARSING
MEMOISATION FOR GLUE LANGUAGE DEDUCTION AND CATEGORIAL PARSING
Primarily assigned technology terms:
- algorithm
- binding
- cfg parsing
- chart parsing
- chart-parsing
- computational linguistics
- computing
- database
- glue language deduction
- hypothetical reasoning
- indexing
- inferencing
- lambek calculus
- lexical access
- linear deduction
- matching
- natural deduction
- parsing
- processing
- proof normalisation
- quantifier scoping
- reading
- reasoning
- sld resolution
- term assignment
- theorem proving
Other assigned terms:
- approach
- case
- categorial grammar
- categorial grammars
- deduction
- deduction proof
- derivation
- derivations
- fact
- first-order formulae
- formalism
- formalisms
- grammar
- grammars
- index
- inference rule
- inferences
- labeling
- lambda
- lambda expression
- lexicon
- linear logic
- linguistic
- linguistic structure
- linguistics
- lisp
- logic
- meaning
- meanings
- mechanisms
- method
- methodology
- polarity
- polymorphism
- positive polarity
- procedure
- process
- proof net
- quantifier
- recipe
- relation
- resource sensitivity
- semantic
- sentence
- sentences
- symbols
- term
- terms
- theorem
- words
