Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Ninth conference on THEORETICAL ASPECTS OF RATIONALITY AND KNOWLEDGE TARK IX June 20--22, 2003 Bloomington, Indiana, USA About the conference ================= The mission of the TARK conferences is to bring together researchers from a wide variety of fields -- including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology -- in order to further our understanding of interdisciplinary issues involving formal reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. TARK IX will be coordinated with the the 2nd North American Summer School in Logic, Language and Information (NASSLLI 2003; www.indiana.edu/~nasslli). NASSLLI will offer TARKrelated courses, and some talks will be shared by TARK and NASSLLI, allowing for interaction between prominent researchers and research students. Invited Speakers and Tutorials ======================== In addition to the technical paper presentations, TARK IX will include also several invited talks and tutorials. Invited speakers: ============= Steven Brams (NYU) Michael Kearns (University of Pennsylvania) Dov Monderer (Technion) Wolfgang Spohn (University of Konstanz) Relevant tutorials (to be coordinated with NASSLLI): ========================================= Algorithmic verification for epistemic logic, Ron von der Meyden, (University of New South Wales) Games in informational form, Dov Monderer (Technion) Information for Authors =================== Submissions are now invited to TARK IX. Please submit 15 copies of a detailed abstract (not a full paper) to the program chair (address below). In addition, please send an electronic copy of this detailed abstract, in PDF format, to the program chair ([email protected]). Two types of submission are invited -- papers reporting on novel research, and expository papers. Each submission should be clearly identified as belonging to one category or the other. In both categories, strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and all papers should be written so that they are accessible to such an audience. Novel research abstracts will be held to the usual high standards of novel research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work---its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Expository abstracts, which will be held to similarly high standards, may survey an area or report on a more specific previously published work; the abstract should make clear the relevance to the TARK audience. Abstracts should be no longer than ten double-spaced pages (4,000 words). If possible, an email address for the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection. Economists should be aware that special arrangements have been made with certain economics journals (in particular, with the Journal of Economic Theory and with Games and Economic Behavior) so that publication of an extended abstract in TARK will not prejudice publication of a full journal version. The deadline for submission of abstracts is February 19, 2003. Authors will be notified of acceptance by April 14, 2003. Camera-ready copies of the accepted papers will be due by May 14, 2003. One author of each accepted paper will be expected to present the paper at the conference. The conference proceedings will be published. Program Committee ***************** Geir Asheim (Economics, Oslo) Maya Bar Hillel (Psychology, Hebrew University) Cristina Bicchieri (Decision Sciences and Philosophy, CMU) Craig Boutilier (AI, Toronto) Yossi Feinberg (Economics, Stanford) Daniel Lehmann (Computer Science, Hebrew University) Stephen Morris (Economics, Yale) Motty Perry (Economics, Hebrew Universiity) Avi Pfeffer (AI, Harvard) Ilya Segal (Economics, Stanford) Jeremy Seligman (Philosophy,Auckland ) Brian Skyrms (Philosophy and Economics, Irvine) Moshe Tennenholtz (PC Chair, AI, Technion) Moshe Vardi (Computer Science, Rice) Frank Veltman (Philosophy, Amsterdam) Conference Chair ************** Joseph Y. Halpern Computer Science Department Cornell University Itacha, NY 14853 phone: (607)-255-9562 fax: (607)-255-4428 e-mail: [email protected] Program Chair ************ Moshe Tennenholtz Faculty of Industrial Engineering and Management Technion--Israel Institute of Technology Haifa 32000, Israel phone: (972-4)-829-4550, fax: (972-4)-823-5194 email: [email protected] Local Arrangements ***************** Lawrence S. Moss Department of Mathematics Indiana University Bloomington, IN 47405-5701 USA phone: (812)-855-8281 fax: (812)-855-0046 email:[email protected]