类型集相关论文
动词子语类框架（Subcategorization Frame以下简称SCF）在句法分析、语义角色标注等方面的研究中具有不可或缺的重要作用。在子语类框......
本文介绍归纳法推理系统中的简化策略，系统推理能力在很大程度上取决于系统简化持证公式的能力，本文从定义的类型规定出发，描述了如何......
