位置：成果数据库 > 会议 > 会议详情页
Semantic Web Service Composition: From OWL-S to Answer Set Programming
  • 所属机构名称：桂林电子科技大学
  • 会议名称：International Workshop, CSEEE 2011
  • 成果类型：会议
  • 相关项目：基于抽象解释的逻辑程序验证研究
作者： Zhao Lingzhong|Qian Junyan|Huang Guowang|
同会议论文项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6
同项目会议论文
Using ASP to improve the information reuse in mechanical assembly sequence planning
A knowledge based method for data flow analysis
An ASP based method for subassembly identification
An ASP based solution to mechanical assembly sequence planning
Automatic construction of complete abstraction by abstract interpretation