To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We present a new use of Answer Set Programming (ASP) to discover the molecular structure of chemical samples based on the relative abundance of elements and structural fragments, as measured in mass spectrometry. To constrain the exponential search space for this combinatorial problem, we develop canonical representations of molecular structures and an ASP implementation that uses these definitions. We evaluate the correctness of our implementation over a large set of known molecular structures, and we compare its quality and performance to other ASP symmetry-breaking methods and to a commercial tool from analytical chemistry.
This chapter is the introduction to Part I, “The early history of game theory from Borel”. Starting from a 1921 paper by Émile Borel, it surveys the historical development of game theory during its first few decades.
Game theory in biology emerged as a theoretical and modeling approach to the evolutionary study of behavior and other phenotypes. It was inspired by the prominence of game theory in economics. This chapter gives a perspective on this influence of economic thinking on biology. Which ideas were taken from economics and the social sciences to biology, how were they modified, which biological phenomena were they applied to, and what are the successes, challenges, and the possible future of the field? It focuses on two of the earliest applications of game theory in biology, namely sex-ratio theory and animal contests.
We end this book with a chapter on the connection between Vaught’s conjecture and computable structure theory. This chapter does not contain fully detailed proofs, and it is mostly an expository chapter on what is know and not know.
This chapter reviews literature on game-theoretic analysis of voting. Both cooperative and noncooperative concepts are used to answer questions, such as, How do candidates or parties propose alternatives to voters in strategic interactions? Why do voters vote? What are the implications of asymmetric information for candidates’ and voters’ incentives? Do prevoting deliberations improve information sharing? If so, through what type of rules? Sophisticated voters may act strategically, and therefore it matters whether one’s choices are pivotal. In the presence of private information, the mechanism design approach is highly appropriate, as voters’ incentives can be heavily influenced by the institutional settings that determine how votes are transformed to election outcomes. The analysis of information aggregation in large-scale elections brings important insights to our understanding of representative democracy. Due to the nonexistence of a core and the cyclical structure of pairwise comparison, there may be a fundamental difficulty in the preference aggregation by majoritarian democracy in large-scale elections. The chapter concludes with questions for future research: How does the limitation of preference/information aggregation in large-scale elections affect the stability of representative democracy? What determines the robustness of democratic norms? What is the role of the media in the presence of information asymmetry, particularly in ideological battles where information filtering can play an exacerbating role?