Computer Science ›› 2015, Vol. 42 ›› Issue (Z6): 542-545.
Previous Articles Next Articles
LU Fang-fang and WANG Jie
[1] Eiter T,et al.Answer Set Programming:A Primer[J].Reaso-ning Web:Semantic Technologies for Information Systems,2009,5689:40-110 [2] Gelfond M,Leone N.Logic programming and Knowledge representation.The A-Prolog perspective[J].Artificial In telligence,2002,138:3-38 [3] Baral C.Knowledge representation,reasoning and declarativeproblem solving[M].Cambridge Univ Press,2003 [4] 赵岭忠,张超,钱俊彦.基于ASP的CSP并发系统验证研究[J].计算机科学,2012,9(12):133-136 [5] Deng Wen-jun,Liang Yin-wen.Reason on UML Diagrams with Answer Set Programming[C]∥Proc.of International Conf.on Computer Science and Software Engineering.2008(1):205-209 [6] efránek J.Updates of argumentation frameworks[C]∥Pro-ceedings of the 14th International Workshop on NonMonotonic Reasoning.2012:1-9 [7] luukkala V,Niemel I.Enhancing a smart space with answer set programming [M]∥Semantic Web Rules.Springer Berlin Heidelberg,2010:89-103 [8] Balduccini M,Gelfond M.Logic programs with consistency-re-storing rules[C]∥International Symposium on Logical Formalization of Commonsense Reasoning,AAAI 2003 Spring Symposium Series.The AAAI press, 2003:9-18 [9] Van Nieuwenborgh D,Vermeir D.Preferred answer sets for ordered logic programs[J].Theory and Practice of Logic Programming,2006,6:107-167 [10] Zhu Tao,Zhang Zhi-zheng.A Processing Method for Inconsistent Answer Set Programs Based on Minimal Principle[M].2012:270-274 [11] D Nieuwenborgh V,Heymans S,Vermeir D.Weighted-AnswerSets and Applications in Intelligence Analysis[C]∥MProc of the 11th Int.l Conf on Logic for Programming.ArtificialIntelligence,and Reasoning,2006:169-183 |
No related articles found! |
|