位置：成果数据库 > 会议 > 会议详情页
Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions
  • 所属机构名称：桂林电子科技大学
  • 会议名称：The 6th International Conference on Intelligent Information Processing (IIP2010)
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Liang Chang|Zhongzhi Shi|Tianlong Gu|
同会议论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 41 会议论文 8 专利 1
同项目会议论文
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
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