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 条
  • [1] Inductive Reasoning in Social Choice Theory
    Fernando Tohmé
    Federico Fioravanti
    Marcelo Auday
    [J]. Journal of Logic, Language and Information, 2019, 28 : 551 - 575
  • [2] Inductive Reasoning in Social Choice Theory
    Tohme, Fernando
    Fioravanti, Federico
    Auday, Marcelo
    [J]. JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2019, 28 (04) : 551 - 575
  • [3] Some Remarks on "The Theory of Social and Economic Organization"
    Shils, Edward A.
    [J]. ECONOMICA-NEW SERIES, 1948, 15 (57): : 36 - 50
  • [4] AUTOMATED REASONING - THEORY
    HUMPERT, B
    [J]. HELVETICA PHYSICA ACTA, 1986, 59 (6-7): : 1264 - 1264
  • [5] On Some Distance Aspects in Social Choice Theory
    Klamler, Christian
    [J]. MATHEMATICS AND DEMOCRACY: RECENT ADVANCES IN VOTING SYSTEMS AND COLLECTIVE CHOICE, 2006, : 97 - 104
  • [6] REMARKS ON THEORY OF COLLECTIVE CHOICE
    SUZUMURA, K
    [J]. ECONOMICA, 1976, 43 (172) : 381 - 390
  • [7] Some remarks on the place of psychological and social elements in a theory of custom
    Klaes, M
    [J]. AMERICAN JOURNAL OF ECONOMICS AND SOCIOLOGY, 2002, 61 (02) : 519 - 530
  • [8] SOME REMARKS ON THE VOCATIONAL CHOICE OF STUDENTS
    LAVOEGIE, MS
    [J]. TRAVAIL HUMAIN, 1963, 26 (3-4): : 345 - 348
  • [9] Some Remarks on the Choice of Logical Systems
    Castro Manzano, Jose Martin
    [J]. STOA, 2021, 12 (23): : 36 - 50
  • [10] Some Remarks on a Few Approximate Reasoning Patterns
    Hui, Xiao-jing
    [J]. QUANTITATIVE LOGIC AND SOFT COMPUTING 2010, VOL 2, 2010, 82 : 199 - 206
12345