ACL RD-TEC 1.0 Summarization of P90-1028
Paper Title:
ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING
ALGORITHMS FOR GENERATION IN LAMBEK THEOREM PROVING
Authors: van der Linden, Erik-Jan and Minnen, Guido
Primarily assigned technology terms:
- algorithm
- bottom-up algorithm
- bottom-up processing
- categorial calculi interpreter
- computational linguistics
- lambek calculus
- language generation
- language processing
- language processing system
- matching
- natural language processing
- parser
- parsing
- problem solving
- processing
- processor
- prolog
- recognition
- speech generation
- tactical generation
- theorem prover
- theorem proving
- top-down generation
- unification
Other assigned terms:
- axioms
- bidirectionality
- case
- categorial grammar
- combinatory categorial grammar
- composition
- constructive proof
- control strategy
- deduction
- derivation
- derivation trees
- derivations
- fact
- formalisms
- generation
- generation process
- grammar
- grammar formalisms
- grammars
- hypotheses
- implementation
- inference rule
- inference rules
- interpretation
- interpreter
- lambek theorem
- lexical information
- lexical items
- lexical representation
- lexicon
- linguistic
- linguistics
- meaning
- natural language
- parse
- particles
- permutation
- process
- recursion
- representations
- semantic
- semantic information
- semantic representation
- semantic representations
- stems
- syntactic information
- syntax
- syntax and semantics
- theorem
- trees
- verb
