One of the most exciting developments in the field of computational social choice in recent years has been the use of automated reasoning tools—and SAT solvers in particular—to support scientists in their quest to obtain a deeper understanding of the foundations of multiagent decision making. This approach has allowed the community to construct new proofs…

Read More Read More

Many, if not most, real-world decision problems have more than a single objective and more than one agent. As the multi-objective aspect fundamentally changes everything you thought you knew about multi-agent decision making, we will take a dive into what it means to have multiple agents that care about more than one aspect of the…

Read More Read More