位置：成果数据库 > 会议 > 会议详情页
Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic
  • 所属机构名称：桂林电子科技大学
  • 会议名称：IIP2012 - 7th International Conference on Intelligent Information Processing
  • 成果类型：会议
  • 相关项目：基于描述逻辑和模型检测的行动理论研究
作者： Juan Wang|Liang Chang|Chuangying Zhu|Rongsheng Dong|
同会议论文项目
基于描述逻辑和模型检测的行动理论研究
期刊论文 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
A symbolic OBDD-based algorithm for assembly sequence planning
An ABox abduction algorithm for the description logic ALCI
Reasoning about assembly sequences based on description logic and rule