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 条

[41] RATIONAL EGOIST MENTALITY AND ITS THEORETICAL APOTHEOSIS - SOME CRITICAL REMARKS ON RATIONAL CHOICE THEORY
MILLER, M
[J]. SOZIALE WELT-ZEITSCHRIFT FUR SOZIALWISSENSCHAFTLICHE FORSCHUNG UND PRAXIS, 1994, 45 (01): : 5 - 18
[42] SOME REMARKS ON HIGHER CURVATURE THEORY
VELDKAMP, GR
[J]. JOURNAL OF ENGINEERING FOR INDUSTRY, 1967, 89 (01): : 84 - &
[43] Some remarks on the theory of the photoelectric effect
Frenkel, J
[J]. PHYSICAL REVIEW, 1931, 38 (02): : 309 - 320
[44] REMARKS ON SOME PRINCIPLES OF MEASUREMENT THEORY
ZINGALES, G
[J]. ELETTROTECNICA, 1977, 64 (10): : 827 - 831
[45] Some remarks on the foundations of quantum theory
Davies, EB
[J]. BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE, 2005, 56 (03): : 521 - 539
[46] SOME REMARKS ON LOCAL SPECTRAL THEORY
ALBRECHT, E
MEHTA, RD
[J]. JOURNAL OF OPERATOR THEORY, 1984, 12 (02) : 285 - 317
[47] SOME REMARKS ON THE DYNAMIZATION OF THE THEORY OF OLIGOPOLY
HEERTJE, A
HIRSCHFELD, RA
[J]. ECONOMIE APPLIQUEE, 1963, 16 (01): : 29 - 46
[48] SOME REMARKS ON FORCING IN MODEL THEORY
POIZAT, B
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1976, 283 (04): : 131 - 134
[49] SOME REMARKS ON PHENOMENOLOGICAL THEORY OF FERROELECTRICITY
SAWADA, S
YOSHIDA, I
[J]. JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 1961, 16 (07) : 1322 - +
[50] SOME REMARKS ON A THEORY OF INCENTIVE TAXATION
FECHER, H
[J]. PUBLIC FINANCE-FINANCES PUBLIQUES, 1965, 20 (1-2): : 76 - 111

← 1 2 3 4 5 →