Applications of Logic in Social Choice Theory
From MaRDI portal
Publication:3092295
DOI10.1007/978-3-642-22359-4_7zbMath1349.91108MaRDI QIDQ3092295
Publication date: 16 September 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_7
68T27: Logic in artificial intelligence
91B14: Social choice
68T42: Agent technology and artificial intelligence
Cites Work
- Compactly representing utility functions using weighted goals and the Max aggregator
- Lifting integrity constraints in binary aggregation
- Modelling Multilateral Negotiation in Linear Logic
- Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
- Ontology Merging as Social Choice
- Complexity of Judgment Aggregation
- Representing Utility Functions via Weighted Goals
- First-Order Logic Formalisation of Arrow’s Theorem