退出
我的积分:
中文文献批量获取
外文文献批量获取
蒋运承; 王驹; 汤庸; 邓培民;
广西师范大学;
计算机科学与信息工程学院;
广西;
桂林;
541004;
中山大学;
计算机科学系;
广东;
广州;
510275;
描述逻辑; μALCQO; 混合分级μ-演算; 完全强化自动机; 不动点构造算子;
机译:合理和相关语义下无法描述逻辑εL_⊥-计算标准推理中的推理
机译:使用描述逻辑和语义推理的Covid-19上的FAD-CODS假新闻检测
机译:无限值Godel语义下非常有表现力的描述逻辑中的推理算法
机译:基于描述逻辑的定性语义时空推理,用于对卫星图像中时空对象的动力学建模
机译:表达描述逻辑的自动语义遗忘
机译:使用描述逻辑分类来推理后果穿透伤
机译:在描述逻辑推理引擎上建立语义Web推理基础设施
机译:通过扩充描述逻辑推理器进行推理(第1阶段)
机译:提供语义家庭网络管理的系统,语义家庭网络管理的云推理设备,语义家庭网络,语义家庭网络网关
机译:语义家庭网络管理系统,语义家庭网络管理的云推理设备,语义家庭网络和语义家庭网络连接设备
机译:具有描述逻辑推理的自动诊断方法,系统和计算机程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。