Automated Reasoning in Social Choice Theory: Some Remarks

被引：8
|
作者：
Chatterjee S. [1 ]
Sen A. [1 ]
机构：
[1] Delhi Center, Indian Statistical Institute, New Delhi
来源：
Mathematics in Computer Science | 2014年 / 8卷 / 1期
关键词：
Automated reasoning; Review; Social choice theory;
D O I：
10.1007/s11786-014-0177-x
中图分类号：
学科分类号：
摘要：
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on Tang and Lin (Artif Intell 173:1041-1053, 2009) (henceforth TL) and Geist and Endriss (J Artif Intell Res 40:143-174, 2011) (henceforth GE). In the Appendix we provide statements and brief descriptions of the results discussed in this note. © 2014 Springer Basel.
引用
收藏
页码：5 / 10
页数：5
相关论文
共 50 条
12345