不可满足Horn子句集的两个反证算法
-
1高琪,王旭东,高岩,刘聪,李娇.基于语义Web服务组合的旅游调度问题研究[J].曲阜师范大学学报（自然科学版）,2015,41(3):28-32. 被引量：1
-
2徐志农.基于Petri网的逻辑程序并行模型[J].暨南大学学报（自然科学与医学版）,1991,12(3):26-31.
-
3方欢,吴哲辉,崔焕庆.基于Horn子句集的Pr/T网可达树的方案求解[J].系统仿真学报,2005,17(z1):163-165. 被引量：4
-
4汤宪飞,蒋昌俊,丁志军,王成.基于Petri网的语义Web服务自动组合方法[J].软件学报,2007,18(12):2991-3000. 被引量：22
;
