位置：成果数据库 > 会议 > 会议详情页
A symbolic OBDD-based algorithm for assembly sequence planning
  • 所属机构名称：桂林电子科技大学
  • 会议名称：2009 International Conference on Manufacturing Science and Engineering, ICMSE 2009
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Fengying Li|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
A novel symbolic OBDD algorithm for generating mechanical assembly sequences using decomposition app
Dynamic Logic for the Semantic Web
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