ACL RD-TEC 1.0 Summarization of C92-1024
Paper Title:
CHART PARSING LAMBEK GRAMMARS: MODAL EXTENSIONS AND INCREMENTALITY
CHART PARSING LAMBEK GRAMMARS: MODAL EXTENSIONS AND INCREMENTALITY
Primarily assigned technology terms:
- abstracting
- binding
- chart parser
- chart parsing
- deduction approach
- hypothetical reasoning
- identity check
- incremental interpretation
- incremental parsing
- incremental process
- incremental processing
- lambek calculus
- lambek parsing
- natural deduction
- parser
- parsing
- parsing method
- processing
- reading
- reasoning
- sequent calculus
- theorem proving
- tile
- type raising
- unification
Other assigned terms:
- ambiguity
- approach
- case
- categorial grammars
- composition
- deduction
- derivation
- derivations
- fact
- grammar
- grammars
- grammatical framework
- hypothesis
- inference rules
- inferences
- input string
- interpretation
- knowledge
- lambda
- lambda expression
- lexica
- lexical ambiguity
- lexical categories
- lexical type
- lexicon
- logic
- meaning
- mechanisms
- method
- modal logic
- normal form
- parse
- phrase
- procedure
- process
- pronoun
- relative pronoun
- spurious ambiguity
- substring
- terms
- theorem
- transitive verb
- verb
- word
- word strings
- words
- ~ calculus theorem
