Applications of Logic in Social Choice Theory (Invited Talk)

被引：0
|
作者：
Endriss, Ulle [1 ]
机构：
[1] Univ Amsterdam, ILLC, NL-1012 WX Amsterdam, Netherlands
来源：
COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS | 2011年 / 6814卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Social choice theory studies of how groups of people should and do make collective decisions. In this talk I will argue that modern logic can contribute to the study of social choice theory in many different ways, and I will substantiate this claim with examples from recent work by members of my group at the University of Amsterdam.
引用
收藏
页码：88 / 91
页数：4
相关论文
共 50 条
  • [11] A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk)
    Welch, Peter H.
    COMMUNICATING PROCESS ARCHITECTURES 2006: WOTUG-29, 2006, 64 : 389 - 389
  • [12] Invariance axioms for preferences: applications to social choice theory
    Candeal, Juan C.
    SOCIAL CHOICE AND WELFARE, 2013, 41 (03) : 453 - 471
  • [13] Invariance axioms for preferences: applications to social choice theory
    Juan C. Candeal
    Social Choice and Welfare, 2013, 41 : 453 - 471
  • [14] Logic, Game Theory, and Social Choice: What Do They Have in Common?
    de Swart, Harrie
    AXIOMS, 2022, 11 (10)
  • [15] Talk and social theory
    Mcgill, Kenneth
    LANGUAGE IN SOCIETY, 2008, 37 (04) : 633 - 634
  • [16] PREFERENCE LOGIC AND THEORY CHOICE
    HALLDEN, S
    SYNTHESE, 1966, 16 (3-4) : 307 - 320
  • [17] Invited Talk: Computational Persuasion with Applications in Behaviour Change
    Hunter, Anthony
    NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE (JSAI-ISAI 2017), 2018, 10838 : 336 - 336
  • [18] Theory and Practice of String Solvers (Invited Talk Abstract)
    Kiezun, Adam
    Guo, Philip J.
    Hooimeijer, Pieter
    Ernst, Michael D.
    Ganesh, Vijay
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 6 - 7
  • [19] The cactus framework and toolkit:: Design and applications -: Invited talk
    Goodale, T
    Allen, G
    Lanfermann, G
    Massó, J
    Radke, T
    Seidel, E
    Shalf, J
    HIGH PERFORMANCE COMPUTING FOR COMPUTATIONAL SCIENCE - VECPAR 2002, 2003, 2565 : 197 - 227
  • [20] SOCIAL CHOICE AND LUKASIEWICZ LOGIC
    OVCHINNIKOV, S
    FUZZY SETS AND SYSTEMS, 1991, 43 (03) : 275 - 289
12345