退出
我的积分:
中文文献批量获取
外文文献批量获取
曾伟; 费奇;
华中科技大学系统工程研究所;
Agent; 多Agent系统; 规划; 形式化方法; 动作树; 一阶分枝时序逻辑;
机译:REA〜2:Resource-Event-Agent本体的统一形式化
机译:车对网合同类型的概念化及其在基于Agent的模型中的形式化
机译:基于Petri网,使用Agent范式进行m维护的形式化方法
机译:基于ITL的多Agent虚拟仓库协作系统中时间冲突的形式化描述框架
机译:基于Agent 的语义 工艺规划 分布式 云制造
机译:在基于多尺度Agent的仿真中形式化知识
机译:多agent pOmDp中具有颤抖手完全均衡的多agent规划
机译:多agent规划系统的知识与行动的一阶形式化
机译:多Agent流量控制系统的分散规划,调度与控制。
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。