位置：成果数据库 > 会议 > 会议详情页
A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition app
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2011 2nd International Conference on Manufacturing Science and Engineering
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Zhoubo Xu|Tianlong Gu|Liang Chang|
同会议论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
同项目会议论文
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
A multi-agent evolutionary algorithm for connector-based assembly sequence planning
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