Method Term: linear deduction

To view the usage of linear deduction in the ACL ARC 2.0 corpus click here (i.e., KWIC using NoSke).

Terms semantically related to linear deduction:

• linear categorial deduction
• incremental linear deduction method
• deduction method
• proof reduction
• linear-time chart parsing
• shag parsing
• path resolution
• cascaded markov models
• entity oriented parsing
• semiautomated knowledge-extraction
• email message summarizer
• induction learning
• computer-assisted language instruction

Note that only terms are manually validated, not their relationships. See the ACL RD-TEC 1.0 documentations.