Applications of Logic in Social Choice Theory (Q3092295): Difference between revisions

@@ Property / cites work @@
+Complexity of Judgment Aggregation
@@ Property / cites work: Complexity of Judgment Aggregation / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects
+Normal rank
@@ Property / cites work @@
+First-Order Logic Formalisation of Arrow’s Theorem
+Normal rank
@@ Property / cites work @@
+Lifting integrity constraints in binary aggregation
+Normal rank
@@ Property / cites work @@
+Modelling Multilateral Negotiation in Linear Logic
+Normal rank
@@ Property / cites work @@
+Ontology Merging as Social Choice
@@ Property / cites work: Ontology Merging as Social Choice / rank @@
+Normal rank
@@ Property / cites work @@
+Representing Utility Functions via Weighted Goals
@@ Property / cites work: Representing Utility Functions via Weighted Goals / rank @@
+Normal rank
@@ Property / cites work @@
+Compactly representing utility functions using weighted goals and the Max aggregator
+Normal rank