Christian Geist
Christian Geist
Geverifieerd e-mailadres voor in.tum.de - Homepage
TitelGeciteerd doorJaar
Automated search for impossibility theorems in social choice theory: Ranking sets of objects
C Geist, U Endriss
Journal of Artificial Intelligence Research 40, 143-174, 2011
742011
Finding strategyproof social choice functions via SAT solving
F Brandt, C Geist
Journal of Artificial Intelligence Research 55, 565-602, 2016
532016
Optimal bounds for the no-show paradox via SAT solving
F Brandt, C Geist, D Peters
Mathematical Social Sciences 90, 18-27, 2017
372017
Peer review and knowledge by testimony in mathematics
C Geist, B Löwe, B Van Kerkhove
PhiMSAMP: Philosophy of mathematics: Sociological aspects and mathematical …, 2010
332010
Proving the incompatibility of efficiency and strategyproofness via SMT solving
F Brandl, F Brandt, M Eberl, C Geist
Journal of the ACM (JACM) 65 (2), 1-28, 2018
272018
Strategic abstention based on preference extensions: Positive results and computer-generated impossibilities
F Brandl, F Brandt, C Geist, J Hofbauer
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
262015
Computer-aided methods for social choice theory
C Geist, D Peters
Trends in Computational Social Choice, 249-267, 2017
202017
Pnyx: a powerful and user-friendly tool for preference aggregation
F Brandt, G Chabin, C Geist
Proceedings of the 2015 International Conference on Autonomous Agents and …, 2015
142015
A note on the McKelvey uncovered set and Pareto optimality
F Brandt, C Geist, P Harrenstein
Social Choice and Welfare 46 (1), 81-91, 2016
132016
Analyzing the practical relevance of voting paradoxes via Ehrhart theory, computer simulations, and empirical data
F Brandt, C Geist, M Strobel
Proceedings of the 2016 International Conference on Autonomous Agents …, 2016
92016
Semantic visualization with neighborhood graph regularization
TMV Le, HW Lauw
Journal of Artificial Intelligence Research 55, 1091-1133, 2016
92016
Identifying k-majority digraphs via SAT solving
F Brandt, C Geist, HG Seedig
Proceedings of the 1st AAMAS workshop on exploring beyond the worst case in …, 2014
62014
Rationalisation of profiles of abstract argumentation frameworks: characterisation and complexity
S Airiau, E Bonzon, U Endriss, N Maudet, J Rossit
Journal of Artificial Intelligence Research 60, 149-177, 2017
52017
k-Majority Digraphs and the Hardness of Voting with a Constant Number of Voters
G Bachmeier, F Brandt, C Geist, P Harrenstein, K Kardel, D Peters, ...
Journal of Computer and System Sciences 105, 130-157, 2019
42019
Strategic abstention based on preference extensions: Positive results and computer-generated impossibilities
F Brandl, F Brandt, C Geist, J Hofbauer
Journal of Artificial Intelligence Research 66, 1031–1056-1031–1056, 2019
32019
Finding Preference Profiles of Condorcet Dimension via SAT
C Geist
arXiv preprint arXiv:1402.4303, 2014
32014
Automated search for impossibility theorems in choice theory: Ranking sets of objects
C Geist
M. Sc. thesis. Institute of Logic, Language and Computation. University of …, 2010
32010
Generating Insights in Social Choice Theory via Computer-aided Methods
C Geist
Technische Universität München, 2016
12016
Proving the Incompatibility of Efficiency and Strategyproofness via SMT Solving
FBFBC Geist
arXiv preprint arXiv:1604.05692, 2016
2016
Finding Strategyproof Social Choice Functions via SAT Solving
C Geist
2014
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20