位置：成果数据库 > 会议 > 会议详情页
A multi-agent evolutionary algorithm for connector-based assembly sequence planning
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2011 International Conference on Advanced in Control Engineering and Information Science
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Congwen Zeng|Tianlong Gu|Yanru Zhong|Guoyong Cai|
同会议论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
同项目会议论文
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition app
Dynamic Logic for the Semantic Web
A symbolic OBDD-based algorithm for assembly sequence planning
An ABox abduction algorithm for the description logic ALCI
Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic
Reasoning about assembly sequences based on description logic and rule