位置：成果数据库 > 期刊 > 期刊详情页
Semantic web service composition using answer set planning
  • ISSN号：2005-8039
  • 期刊名称：International Journal of Advancements in Computing
  • 时间：0
  • 页码：20-31
  • 语言：英文
  • 相关项目：基于抽象解释的逻辑程序验证研究
作者： Huang, Guo-Wang|Zhao, Ling-Zhong|Qian, Jun-Yan|
同期刊论文项目
基于抽象解释的逻辑程序验证研究
期刊论文 21 会议论文 6
同项目期刊论文
基于ASP的程序切片
基于启发式搜索的ASP程序支撑原因分析算法
无圈与或图搜索的符号OBDD算法研究
从经典逻辑知识构建ASP知识库的新方法
Using ASP for Knowledge Management with User Authorization
基于回答集的Web服务组合验证
正规逻辑程序回答集存在性研究
基于自动机理论的符号模型检验
基于OBDD的含圈与或图搜索算法研究
可判定的时序动态描述逻辑
基于NSCT和自适应PCNN的遥感图像融合方法