机译:Alloyinecore:将一阶关系逻辑嵌入到Meta-Object Facility以实现自动模型推理
机译:基于格值一阶逻辑LF(X)的多进制alpha语义分辨率自动推理
机译:处理基于搜索的模型驱动工程中的不合格个体:在元对象设施的建模空间中的特征位置九个通用策略
机译:使用维恩图执行逻辑推理:自动执行分类语句的三段论推理的算法
机译:自动化一阶关系逻辑
机译:近似推理,自参考逻辑以及在系统建模中使用非经典逻辑
机译:是什么让心理造型困难?多维关系推理任务的规范数据
机译:自动化一阶关系逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑