退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:优先逻辑编程及其在常识推理中的应用
Sakama Chiaki; Inoue Katsumi;
机译:在Winograd模式挑战中使用答案集编程进行常识推理
机译:常识推理的其他应用
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:DALI逻辑编程语言中基于上下文的常识推理
机译:了解自然语言:语义解析,致辞知识获取,推理框架和应用
机译:基于约束逻辑编程的故障定位重量优先切片
机译:优先逻辑程序设计及其在常识推理中的应用
机译:近似推理理论中的自动定理证明及其在逻辑程序设计和专家系统中的应用。
机译:用于允许第一计算机程序执行第二计算机程序的应用逻辑,获取第一计算机程序和计算机程序的第二接口的方法和装置的方法和装置,用于第一计算机程序的计算机程序和软件接口可以执行第二计算机程序的应用程序逻辑,以生成计算机程序代码,提供的方法(计算机程序接口)
机译:用于使第一计算机程序执行第二计算机程序的应用逻辑,用于使第一计算机程序和第二计算机程序接口的方法和装置以及用于为其生成计算机程序代码的装置,计算机程序和用于使第一计算机程序能够执行第二计算机程序的应用程序逻辑以提供信息(计算机程序接口)
机译:在可编程逻辑控制器上编码本体推理的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。