退出
我的积分:
中文文献批量获取
外文文献批量获取
张灵峰; 夏战锋; 彭志平;
茂名学院,实验教学部,广东,茂名,525000;
江苏科技大学,计算机科学与工程学院,江苏,镇江,212003;
描述逻辑; Tbox推理; Abox推理; 可满足性; 一致性;
机译:查找数据可处理的描述逻辑,以基于ABox分解计算最低成本诊断
机译:经过正式验证的基于Tableau的描述逻辑推理器
机译:具有具体域和通用TBox的描述逻辑的Tableau算法
机译:生成用于ALC TBox的Armstrong ABox
机译:大型ABox商店(LAS):对TBox查询的数据库支持。
机译:Mutadelic:使用描述逻辑推理功能进行突变分析
机译:基于ILP的自定义解算器,用于描述逻辑推理器 ud
机译:描述使用语法更新的逻辑推理
机译:具有描述逻辑推理的自动诊断方法,系统和计算机程序
机译:利用描述逻辑推理进行自动诊断的方法,系统和计算机程序
机译:车载远程信息处理盒(TBOX)和天线实时切换方法和用于车载TBOX的设备,以及可读存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。