Talks 10
- TBA Jan 19, 2024
- SAT-based Judgment Aggregation Dec 1, 2023
- The Limits to Gossip: Second-order Shared Knowledge of all Secrets is Unsatisfiable Nov 17, 2023
- Multi-Layer Belief Model: Justified Belief for Uncertain and Conflicting Evidence Oct 20, 2023
- Automated Reasoning for Economic Theory Sep 22, 2023
- Supervisor Synthesis: Turning Automata into Control Software Jun 16, 2023
- Social Welfare Loss in Hybrid Multi-Unit Auctions May 12, 2023
- Data examples Apr 21, 2023
- Round-Robin Beyond Additive Agents: Existence and Fairness of Approximate Equilibria Mar 24, 2023
- Lifted Classical Planning via Propositional Logic Satisfiability Feb 24, 2023