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 条
  • [1] Probabilistic Action and Deontic Logic (Invited Talk)
    Broersen, Jan
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2011, 6814 : 293 - 294
  • [2] Cellular automata: Applications - Invited talk
    Stauffer, D
    VECTOR AND PARALLEL PROCESSING - VECPAR 2000, 2001, 1981 : 199 - 206
  • [3] Matching Logic: The Foundation of the K Framework (Invited Talk)
    Rosu, Grigore
    Chen, Xiaohong
    CPP '20: PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2020, : 1 - 1
  • [4] Group Announcements: Logic and Games (Abstract of Invited Talk)
    Agotnes, Thomas
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 9 - 13
  • [5] Invited Talk: Coherentisation of First-Order Logic
    Dyckhoff, Roy
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323 : 3 - 5
  • [6] Proving classical theorems of social choice theory in modal logic
    Giovanni Ciná
    Ulle Endriss
    Autonomous Agents and Multi-Agent Systems, 2016, 30 : 963 - 989
  • [7] Proving classical theorems of social choice theory in modal logic
    Cina, Giovanni
    Endriss, Ulle
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2016, 30 (05) : 963 - 989
  • [8] Various Kinds of Antenna and Their Applications (Invited talk)
    Chang, Dau-Chyrh
    2017 INTERNATIONAL SYMPOSIUM ON ANTENNAS AND PROPAGATION (ISAP 2017), 2017,
  • [9] Adversarial queueing theory revisited (Invited talk)
    Kiwi, Marcos
    FOURTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2006, 2006, 209 : 9 - 10
  • [10] Algorithmics - Is There Hope for a Unified Theory? (Invited Talk)
    Hromkovic, Juraj
    COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2010, 6072 : 181 - 194
12345