[1] CHEVALEYRE Y,ENDRISS U,LANG J,et al.A short introduction to computational social choice[C]//Proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science.Berlin,Germany:Springer,2007:51-69. [2] 张楠,陈荣,郭世凯.投票理论研究现状及其展望[J].计算机科学,2015,42(5):1-9,23. [3] ENDRISS U.Logic and social choice theory[J].Logic and Philosophy Today,2011,30(86):333-378. [4] 赖河蒗,陈红英,赖博先,等.基于回答集编程的Banks选举求解方法[J].计算机工程,2013,39(8):266-269. [5] HUDRY O.On the complexity of Slater's problems[J].European Journal of Operational Research,2009,203(1):216-221. [6] KLAMLER C.Kemeny's rule and Slater's rule:a binary comparison[J].Economics Bulletin,2003,4(35):1-7. [7] HEMASPAANDRA E,SPAKOWSKI H,VOGEL J.The complexity of Kemeny elections[J].Theoretical Computer Science,2005,349(3):382-391. [8] 吕勇全,陈寅,邬家炜,等.基于回答集程序的排课系统设计与实现[J].计算机技术与发展,2010,20(6):228-232. [9] 王以松,魏昆鹏.带函数的正规逻辑程序设计系统[J].贵州大学学报(自然科学版),2009,26(2):61-66. [10] 王以松,杨卓群,许欢.汉密尔顿回路逻辑程序的两个结果[J].贵州大学学报(自然科学版),2011,28(3):69-74. [11] LIFSCHITZ V.Answer set programming and plan generation[J].Artificial Intelligence,2002,138(1/2):39-54. [12] LIFSCHITZ V.What is answer set programming?[C]//Proceedings of National Conference on Artificial Intelligence.Chicago,USA:AAAI Press,2008:1594-1597. [13] 赖河蒗.基于回答集程序的Slater选举求解方法[J].计算机与现代化,2014(12):6-10,14. [14] BRANDT F,CONITZER V,ENDRISS U,et al.Handbook of computational social choice[M].Cambridge,UK:Cambridge University Press,2016. [15] 翟仲毅,程渤.回答集程序设计:理论、方法、应用与研究[EB/OL].[2018-06-20].http://www.paper.edu.cn/releasepaper/content/201402-217. [16] RAUTENBERG W.Foundations of logic programming[J].Symbolic Computation,2010,3(2):25-108. [17] BARAL C,GELFOND M.Logic programming and knowledge representation[J].Journal of Logic Programming,2015,19:73-148. [18] 王以松,张明义.带模理论的回答集程序设计[J].贵州大学学报(自然科学版),2013,30(5):81-89,94. [19] 吉建民.提高ASP效率的若干途径及服务机器人上应用[D].合肥:中国科学技术大学,2010. [20] GELFOND M,LIFSCHITZ V.The stable model semantics for logic programming[C]//Proceedings of the 5th International Conference on Logic Programming.Berlin,Germany:Springer,1988:1070-1080. [21] DAVENPORT A,KALAGNANAM J.A computational study of the Kemeny rule for preference aggregation[C]//Proceedings of the 19th National Conference on Artificial Intelligence.Palo Alto,USA:AAAI Press,2004:697-702. |