Tilburg University - TiLPS, Tilburg, The Netherlands;
Combinatory Categorial Grammar; Lambda Logical Form; Natural logic; Theorem prover; Tableau method; Textual entailment;
机译:具有术语声明的逻辑的Tableau方法
机译:交替时间逻辑ATL〜+中用于构造满意度测试和模型综合的最优Tableau方法
机译:在确定描述逻辑SHOQ中处理提名和限定数量限制的ExpTime Tableau方法
机译:朝着宽覆盖的自然逻辑制造方法
机译:基于树的工作流验证框架,用于计算树逻辑(CTL)。
机译:使用逻辑学习机和标准监督方法分析基因表达数据用于儿科和成人癌症诊断
机译:迈向自然逻辑的广域Tableau方法