位置：成果数据库 > 会议 > 会议详情页
Dynamic Logic for the Semantic Web
  • 所属机构名称：桂林电子科技大学
  • 会议名称：IIP2012 - 7th International Conference on Intelligent Information Processing
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Liang Chang|Qicheng Zhang|Tianlong Gu|Zhongzhi Shi|
同会议论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 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
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