答案集编程相关论文
语义Web服务是Web服务和语义网的融合,它通过语义Web标记语言来描述Web服务的语义,使计算机可以理解Web服务,从而实现Web服务的自......
语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程（Answer SetProgramming）的OW......
