答案集编程相关论文
使用UML模型图研发大型软件系统时,自动验证UML模型图的正确性十分重要。但现有的验证方法都局限于一个或两个UML模型图。提出一个......
语义Web服务是Web服务和语义网的融合,它通过语义Web标记语言来描述Web服务的语义,使计算机可以理解Web服务,从而实现Web服务的自......
语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程（Answer SetProgramming）的OW......
