资源列表
[文档资料] 基于自动推理技术的智能规划方法研究
说明: 本文主要针对基于自动推理技术的规划方法予以研究,分别考虑经典规划问题基于命题逻辑的规划方法和规划问题基于模态逻辑的规划方法,主要包括如下工作: 1)综述基于自动推理技术的规划方法的研究现状。 2)提出基于Graphplan的编码和基于状态的编码中重叠公理的判定策略和冗余公理的删除策略;在基于Graphplan的编码方式的基础上,通过压缩动作互斥公理和添加框架公理设计并实现两种新的编码方式:基于PMA的编码方式和基于FA的编码方式。 3<xinhua123> 在 2011-12-06 上传 | 大小:3.19mb | 下载:0
[软件工程] ClassicalMaterialsOfCplus_Windows
说明:一部非常经典的windows、c++编程材料,是程序员不可多得的手头资料。压缩包里共2个文件,一个是已经编译成的帮助文档,另一个PDF文件是林锐博士在2001年7月份完成的高质量的C++/C编程指南,是一个不错的学习参考材料!-A very classic windows, c++ programming materials which programmers are rare on-hand information. The RAR<xiaoyu> 在 2025-05-09 上传 | 大小:3.19mb | 下载:0
[行业发展研究] My-First-paper
说明:Tomato disease leaf detection<mokhtar> 在 2025-05-09 上传 | 大小:3.19mb | 下载:0
[技术管理] GUI-Matlab
说明:Identification des systèmes par: Matlab (GUI)<ilias> 在 2025-05-09 上传 | 大小:3.19mb | 下载:0
[软件工程] dwsjtbst20150925
说明:网络时间同步设计方案,包括设计每个模块的细节-Network time synchronization design scheme, including design details of each module<andy> 在 2025-05-09 上传 | 大小:3.19mb | 下载:0
[文档资料] docker入门到实践
说明:docker入门最佳实践,从入门理论到实践项目,手把手教会docker实战(Best practices for docker entry)<jssuoyi > 在 2025-05-09 上传 | 大小:3.19mb | 下载:0
[其它文档] RT3050_5x datasheet
说明:RT3050_5x datasheet, 235 pages with hardware and registers descr iption<SergeXY1> 在 2021-06-25 上传 | 大小:3.19mb | 下载:0