Title: Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Abstract: Reasoning about rationality and knowledge plays a role in many disciplines, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Logic, Philosophy, and Psychology. The biannual Conference on Theoretical Aspects of Rationality and Knowledge (TARK) serves as an interdisciplinary forum where researchers from these fields come together to advance our understanding of topics including semantic models for knowledge, for belief, and for uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, logics of knowledge and action, formal analysis of games, applications of reasoning about knowledge and other mental states, belief revision, and the role of knowledge in general information flow.
TARK 2005, the tenth meeting in the TARK series , is being held in Singapore, 10-12 June 2005 at the Institute for Mathematical Sciences of the National University of Singapore. These, its proceedings, reflect the richness of the ongoing interactions between the disciplines. Some of the papers deal with semantic models and logics for issues that are of interest in several of the disciplines. Others illustrate that the flow of ideas proceeds in many directions: the reader will find here examples of the application of game theoretic ideas to computational systems design, the introduction of computational concerns to economic mechanism design, the use of epistemic logics for the analysis of distributed algorithms and computer security protocols, and the empirical evaluation by researchers in computer science of the application to marketing of models of belief revision originating in philosophy!
Selection of such a diverse program requires a broad range of expertise. Members of the TARK X program committee and the disciplines they represented are: Pierpaolo Battigalli, Bocconi University (Economics), Larry Blume, Cornell University (Economics), Adam Brandenburger, New York University (Economics), Valentin Goranko, Rand Afrikaans University (Mathematics), Vincent Hendricks, Roskilde University (Philosophy), John Horty, University of Maryland (Philosophy), Gerhard Lakemeyer, Aachen University of Technology (Computer Science), Bart Lipman, Boston University (Economics), David Makinson, Kings College London (Philosophy), Ron van der Meyden (Program Chair), UNSW & NICTA (Computer Science), Yoram Moses, The Technion (Computer Science), Ramaswamy Ramanujam, Institute for Math Sciences, Chennai (Computer Science), Robert van Rooy, University of Amsterdam (Linguistics), Tuomas Sandholm, Carnegie Mellon University (Computer Science), and Wolfgang Spohn, University of Konstanz (Philosophy). For evidence of the interdisciplinary interactions between researchers contributing to the TARK series, we need only observe that for several members of the program committee, the area they represent differs from their departmental affiliation!
Each contributed paper was evaluated by at least four members of the program committee, who faced the difficult task of selecting 18 papers from 55 submissions. Many good papers could of necessity not be selected. Although the submissions were read carefully by the program committee, assisted by anonymous referees, it is expected that revised and extended versions of these papers will appear in journal versions in the future.
In addition to the contributed papers, TARK X is fortunate to include presentations by four outstanding invited speakers: Sergiu Hart, Hebrew University of Jerusalem, Tom Henzinger, Ecole Polytechnique Federale de Lausanne, Isaac Levi, Columbia University, New York, and Rohit Parikh, City University of New York, New York. Additionally, David Parkes of Harvard University is presenting a tutorial on computational mechanism design.
TARK X is occurring as part of an 8-week program Uncertainty and Information in Economics, organized by the Institute for Mathematical Sciences (IMS), National University of Singapore in the period of 9 May - 3 July 2005. TARK X takes place in conjunction with a workshop in the program, which is to be held on 6-10 June 2005.
Publication Year: 2005
Publication Date: 2005-06-10
Language: en
Type: article
Access and Citation
Cited By Count: 4
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot