社会选择理论中的自动推理：若干评注
计算机科学中的逻辑
2014-03-17 v1 计算机科学与博弈论
摘要
本文旨在对社会选择理论中新兴的计算机辅助证明文献作简要评注。我们将具体评论两篇论文，一篇由 Tang 和 Lin (2009) 撰写，另一篇由 Geist 和 Endriss (2011) 撰写。我们还提供了本注记中所讨论结果的陈述及其简要描述。
引用
@article{arxiv.1403.3391,
title = {Automated Reasoning in Social Choice Theory - Some Remarks},
author = {Siddharth Chatterjee and Arunava Sen},
journal= {arXiv preprint arXiv:1403.3391},
year = {2014}
}