Benutzer: Gast  Login
Originaltitel:
Generating Insights in Social Choice Theory via Computer-aided Methods 
Übersetzter Titel:
Erkenntnisgewinn in der Sozialwahltheorie durch computerunterstützte Methoden 
Jahr:
2016 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Brandt, Felix (Prof. Dr.) 
Gutachter:
Brandt, Felix (Prof. Dr.); Nipkow, Tobias (Prof., Ph.D.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
TU-Systematik:
MAT 920d; WIR 523d 
Kurzfassung:
The rise of computational social choice indicates that a computer-science perspective can contribute to our understanding of collective decision making. In this thesis, we show how substantial insights can be achieved via computer-aided methods that are based on powerful solving techniques, such as SAT and SMT (satisfiability modulo theories). Our contribution is twofold: first and foremost, we provide such methods for the domain of social choice theory, and, second, use these methods to obtain...    »
 
Übersetzte Kurzfassung:
Der Aufstieg des Forschungsgebiets "Computational Social Choice" deutet an, dass eine informatische Perspektive einen wesentlichen Beitrag zum Verständnis kollektiver Entscheidungsfindung leisten kann. In dieser Dissertation zeigen wir auf, wie wesentliche Erkenntnisse mithilfe computerunterstützter Methoden, die wiederum auf mächtigen Lösungsverfahren wie SAT und SMT ("Satisfiability Modulo Theories") basieren, generiert werden können. Unser Beitrag umfasst sowohl die Entwicklung solcher Method...    »
 
Mündliche Prüfung:
06.09.2016 
Dateigröße:
4981329 bytes 
Seiten:
178 
Letzte Änderung:
23.09.2016