ACL RD-TEC 1.0 Summarization of E95-1019
Paper Title:
HIGHER-ORDER LINEAR LOGIC PROGRAMMING OF CATEGORIAL DEDUCTION
HIGHER-ORDER LINEAR LOGIC PROGRAMMING OF CATEGORIAL DEDUCTION
Primarily assigned technology terms:
- algorithm
- associative unification
- automated deduction
- coding
- computing
- constraint propagation
- database
- depth-first search
- direct matching
- factoring
- grammar development
- illustration
- lambek calculus
- language processing
- logic programming
- matching
- natural language processing
- parsing
- partitioning
- processing
- prolog
- proof normalisation
- search
- sequent calculus
- sld resolution
- splitting
- term unification
- tile
- unification
- unification algorithm
Other assigned terms:
- adjunction
- ambiguity
- approach
- axioms
- case
- categorial grammar
- categorial grammars
- categorial type
- composition
- decidability
- deduction
- definite clause grammars
- derivation
- derivational equivalence
- derivations
- fact
- formalism
- grammar
- grammar formalism
- grammars
- hierarchical structure
- hypothesis
- implementation
- inferences
- input string
- interpretation
- labeling
- linear logic
- linguistic
- logic
- method
- natural language
- nonterminal
- parsing problem
- polarity
- priori
- proof net
- recursion
- relation
- segments
- semantic
- spurious ambiguity
- symbols
- term
- termination condition
- terms
- theorem
- trees
- word
- word order
