#

strategy-proofness

Here is 1 public repository matching this topic...

kindo2018 / prolog

Prologを用いた社会選択理論の公理系の計算化：耐戦略的社会選択関数の生成，ArrowやGibbard=Satterthwaiteの古典定理を覆す可能領域の系統的探索

prolog social-choice-theory inequality-index strategy-proofness gibbard-satterthwaite-theorem arrow-impossibility dictatorial-domains possibility-domains profile-elimination maximal-possibility-domain

Updated Nov 3, 2025
Prolog

Improve this page

Add a description, image, and links to the strategy-proofness topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the strategy-proofness topic, visit your repo's landing page and select "manage topics."