Published: 19th July 2019|
|Preface Lawrence S. Moss|
|Open Problems in a Logic of Gossips Krzysztof R. Apt and Dominik Wojtczak||1|
|Sequential Voting with Confirmation Network Yakov Babichenko, Oren Dean and Moshe Tennenholtz||19|
|Learning Probabilities: Towards a Logic of Statistical Learning Alexandru Baltag, Soroush Rafiee Rad and Sonja Smets||35|
|Social Choice Methods for Database Aggregation Francesco Belardinelli and Umberto Grandi||50|
|Uncertainty About Evidence Adam Bjorndahl and Aybüke Özgün||68|
|Credible Information, Allowable Information and Belief Revision - Extended Abstract Giacomo Bonanno||82|
|An Algebraic Approach for Action Based Default Reasoning Pablo F. Castro, Valentin Cassano, Raul Fervari and Carlos Areces||91|
|Reasoning about Social Choice and Games in Monadic Fixed-Point Logic Ramit Das, R. Ramanujam and Sunil Simon||106|
|When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning? Yifeng Ding, Wesley H. Holliday and Cedegao Zhang||121|
|Common Belief in Choquet Rationality and Ambiguity Attitudes – Extended Abstract Adam Dominiak and Burkhard Schipper||140|
|A Unified Algebraic Framework for Non-Monotonicity Nourhan Ehab and Haythem O. Ismail||155|
|Arrow's Theorem Through a Fixpoint Argument Frank M. V. Feys and Helle Hvid Hansen||175|
|On the Consistency among Prior, Posteriors, and Information Sets (Extended Abstract) Satoshi Fukuda||189|
|How to Agree without Understanding Each Other: Public Announcement Logic with Boolean Definitions Malvin Gattinger and Yanjing Wang||206|
|A Conceptually Well-Founded Characterization of Iterated Admissibility Using an "All I Know" Operator Joseph Y. Halpern and Rafael Pass||221|
|The Complexity of Online Bribery in Sequential Elections (Extended Abstract) Edith Hemaspaandra, Lane A. Hemaspaandra and Jörg Rothe||233|
|Strategic Voting Under Uncertainty About the Voting Method Wesley H. Holliday and Eric Pacuit||252|
|Aggregating Probabilistic Judgments Magdalena Ivanovska and Marija Slavkovik||273|
|Causality and Epistemic Reasoning in Byzantine Multi-Agent Systems Roman Kuznets, Laurent Prosperi, Ulrich Schmid and Krisztina Fruzsa||293|
|Aggregation in Value-Based Argumentation Frameworks Grzegorz Lisowski, Sylvie Doutre and Umberto Grandi||313|
|Exploiting Belief Bases for Building Rich Epistemic Structures Emiliano Lorini||332|
|Measuring Belief and Risk Attitude Sven Neth||354|
This volume consists of papers presented at the Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK) held at the Université Toulouse in Toulouse, France, from July 17-19, 2019.
As with all previous TARK conferences, this one was a lively interdisciplinary event. It brought together researchers from a wide variety of fields, including Computer Science (especially Artificial Intelligence, and CS Theory), Economics (especially Decision Theory, Game Theory, and Social Choice Theory), Philosophy (especially Philosophical Logic), and Psychology, in order to further understand the issues involving reasoning about rationality and knowledge. The mixing and blending of fields is evident from the papers in this volume: several of them are contributions to more than one of the fields listed above, and all of them were prepared and presented to talk across boundaries.
The conference received 53 submitted abstracts. It accepted 25 papers, of which 17 were presented as talks and 8 as posters. Decisions were not easy. They involved extensive discussions by the Program Committee. I thank all the members of that committee: Pierpaolo Battigalli, Adam Bjorndahl, Giacomo Bonanno, Amanda Friedenberg, Filomena Garcia, Valentin Goranko, Umberto Grandi, Joseph Halpern, Aviad Heifetz, Jérôme Lang, Emiliano Lorini, Eric Pacuit, Andrés Perea, Francesca Poggiolesi, Ricardo Pucella, R. Ramanujam, and Sonja Smets.
I want to thank everyone who submitted papers to the meeting.
The meeting was enriched by our invited speakers: Ingela Alger (CNRS), Vincent Conitzer (Duke University), and Brian Hill (CNRS, HEC Paris). My thanks to them all for enlivening TARK.
The meeting would not have been possible without our local organizers. Chief among them were the Organisation Co-chairs: Andreas Herzig, Emiliano Lorini, and Umberto Grandi. They had the able help of an organizing committee which included Dominique Longin, Fabian Romero, Jorge Fernandez, Saul Fernandez, Munyque Mittelmann, Elise Perrrotin, and Julien Vianey. I am very grateful to all of them.
I thank EasyChair for making its conference management system available. I also thank Rob van Glabbeek and the EPTCS staff for all their help with this volume.
TARK began with a meeting in Monterey California in 1986, and this volume has the papers from TARK XVII. Some topics presented at TARK in the intervening years were, and still are, important in my intellectual life. I was really pleased to chair the PC of TARK this year. Joe Halpern has my very warm thanks, not only for keeping the meeting strong for decades, but also for help and advice on this meeting.
Lawrence S. Moss