退出
我的积分:
中文文献批量获取
外文文献批量获取
张彤; 陆汝占;
上海交通大学计算机系;
自然语言; 构造性逻辑; 模型增长;
机译:将世界模型从自然语言转换为谓词逻辑,并将其应用于机器人运动计划
机译:世界模型自然语言谓词逻辑和机器人操作规划的应用
机译:直觉逻辑作为自然语言增量模型构建的实现
机译:使用直觉逻辑和自然推论进行构造性程序综合
机译:从数学构造性到计算机科学:艾伦·图灵,约翰·冯·纽曼和数学逻辑学中的计算机科学起源。
机译:两个参数逻辑扩展模型:三参数逻辑模型的有效变体
机译:使用构造性实体几何,逻辑规则和优化的9-IM模型(基于语义的方法),从定量空间算符到定性空间关系
机译:poole默认逻辑的构造性识别
机译:自然语言分析设备,自然语言过程分析,自然语言过程分析表达;关系数据库的咨询过程。在居民计算机分析中自然语言系统中概念模型的使用,概念模型的创建过程和元知识的创建过程
机译:基于自然语言模型的基于自然语言模型的基于知识图的基于启动,通过自然语言输入提供用户访问程序化功能
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。