Algorithmic Decision Theory Meets LogicJerome Langinternational conference on logic programming(2015)引用 0|浏览5暂无评分关键词Social Choice, Epistemic Logic, Propositional Formula, Summer Holiday, Pure Nash EquilibriumAI 理解论文溯源树样例生成溯源树,研究论文发展脉络