退出
我的积分:
中文文献批量获取
外文文献批量获取
雷新锋; 刘军; 莫毅; 肖军模;
中国计算机学会;
风险评估; 通用追踪者; Horn子句; 推理泄漏;
机译:Horn子句逻辑的通用相似性框架
机译:使用约束的Horn子句的前提推理的迭代方法
机译:Horn子句逻辑中解析和生产率的操作语义
机译:Petri网模型中基于Horn子句逻辑推理的自动Web服务组合
机译:使用horn子句和二进制决策图进行程序分析。
机译:通用(元)逻辑推理:智者之谜(Isabelle / HOL数据集)
机译:基于petri网模型中Horn子句逻辑推理的Web服务自动组合
机译:Horn子句多重专业化的源级转换。
机译:基于广泛学习算法的智能体通用逻辑推理方法及系统
机译:用于创建例如统一建模语言对象模型,具有一组子句,例如可操纵的逻辑子句,其中每个子句完全是声明性的,并与对象形式主义建模的组件相关联
机译:一种推理推理工具,用于基于数据驱动模型和基于知识的逻辑的混合来推荐操作。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。