Please note that this newsitem has been archived, and may contain outdated information or links.
1 December 2023, Formalisation, Optimisation, Algorithms, Mechanisms (FOAM), Andreas Niskanen
Speaker: Andreas Niskanen
Title: SAT-based Judgment Aggregation
Date: Friday 1 December 2023
Time: 15:00-16:25
Location: Room L3.33, ILLC Lab42, Science Park 900, Amsterdam
Abstract:
Judgment aggregation (JA) offers a generic formal logical framework for modeling various settings where agents must reach joint agreements through aggregating the preferences, judgments, or beliefs of individual agents by social choice mechanisms. In this work, we develop practical JA algorithms for outcome determination by harnessing Boolean satisfiability (SAT) based solvers as the underlying...
For more information, see
https://events.illc.uva.nl/FOAM/posts/talk9/
or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.