To view the usage of lambek sequent theorem proving in the ACL ARC 2.0 corpus click here to get its KWIC concorance using NoSke.

Terms semantically related to lambek sequent theorem proving:

• lexicon development and evaluation
• selectionist learning
• message clustering
• multi-agent question answering
• multi-level resolution
• human-like learning
• non-neural network
• look-up strategy
• character alignment procedure
• numeric relaxation
• multi-level answer resolution
• tinysvm software package
• nominal analysis

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