------------------------------------------------------------------- Fifth Conference on Theoretical Aspects of Reasoning about Knowledge -------------------------------------------------------------------- March 13-16, 1994, Asilomar Conference Center --------------------------------------------- Registration Form, Information, and Program ------------------------------------------- Registration Form ----------------- Name: Affiliation: Registration Fee: (Regular, US275; US125, full-time students) The registration fee includes per-person accommodation (double occupancy), meals, and taxes at Asilomar. Check-in time is 3:00 p.m. on Sunday (March 13), and check-out time is noon on Wednesday (March 16). All meals are included, from dinner on Sunday through lunch on Wednesday. All participants will live in rooms on the grounds of the Asilomar Conference Center. Each attendee will be required to share a room. Postal Address: Telephone (home): Telephone (office): Fax: Electronic mail: Vegetarian? (honored to the best of our ability): Gender: Roommate preference (honored to the best of our ability): Disability access required (describe): The registration fee may be paid by check or money order drawn on a US bank and made payable to ``Asilomar Conference Center.'' Send the completed form and full registration fee to Asilomar Conference Center (C4623) P.O. Box 537 Pacific Grove, CA 93950 U.S.A. Completed registration forms are due on February 1, 1994. Asilomar will not accept telephone reservations or credit cards. Cancellations received in writing after January 14, 1994, are subject to a 25.00 cancellation fee. Cancellations received in writing after February 11, 1994 may be subject to forfeiture of all fees if space is not sold. For additional information, call (408) 372-8016 and ask for Betty Forbes or Pat Kauffman. TARK V Information ------------------ The following information is intended to answer most of your logistical questions about the TARK V conference (Theoretical Aspects of Reasoning about Knowledge), which will be held at the Asilomar Conference Center in Pacific Grove, California, on March 13-16, 1994. Registration forms (and registration fees) are due at Asilomar on February 1, 1994. Asilomar: Asilomar is situated on the tip of the Monterey Peninsula overlooking the Pacific Ocean, 120 miles south of San Francisco. Asilomar occupies 105 secluded acres of forest and dune, with pleasant forested pathways and a swimming pool on the grounds. Just over the dunes, Asilomar State Beach stretches for over a mile. Monterey is an interesting historical city, including the Cannery Row area made famous by John Steinbeck's book of the same name and the Monterey Bay Aquarium and research laboratory. Nearby, Carmel and Big Sur offer quaint towns, pleasant beaches, a rugged coastline, and some of the most famous golf courses in the world. The weather is mild, with temperatures in the 60's and 70's and a chance of rain; the evenings can be cool, and we recommend bringing a jacket. Transportation to Asilomar: The simplest way to reach Asilomar is to fly into Monterey. Several commercial and commuter airlines including United, USAir, and American fly to Monterey from West Coast cities such as San Francisco, Los Angeles, and San Jose. This makes it easy to fly to San Francisco or San Jose and then on to Monterey. After landing in Monterey, you can walk out to the curb and take a short ride on a shuttle bus from the Monterey airport to Asilomar for about $14. If you fly into San Jose or San Francisco and do not wish to fly on to Monterey, it is best to rent a car. The San Jose airport is about one and a half hours away from Monterey by car. The San Francisco airport is about two and half hours away by car. In both cases, leave the airport on Highway 101 South and follow the driving directions below. Public transportation is a cheaper but inconvenient alternative. Greyhound buses go from the San Francisco airport to Monterey several times a day (currently at 1:20 and 5:40 in the afternoon). The trip lasts between three and four hours. Asilomar can be reached from the Greyhound station with a short cab ride or on local buses. Driving to Asilomar: Asilomar recommends the following routes. When arriving on Highway 1, turn onto Highway 68 West at the ``Pacific Grove Exit'' near Carmel, and follow the signs to the Asilomar Conference Center. When arriving on Highway 101 from the north (from San Francisco and San Jose), turn onto Highway 156 West near Prunedale; Highway 156 West will merge with Highway 1 South, and proceed as above. When arriving on Highway 101 from the south (from Los Angeles), turn onto Highway 68 just before Salinas; Highway 68 will merge with Highway 1 South, and proceed as above. Travel Reimbursement: The conference has no money available to subsidize travel or other expenses of attendees. Accommodations: During the conference, all participants will live in rooms on the grounds of the Asilomar Conference Center. Asilomar is quite heavily booked, but it may be possible to extend your stay there either on the Asilomar grounds or at nearby hotels. If you are interested in doing this, contact Asilomar directly at the address below. Meals are served in the cafeteria during posted hours. Telephones, televisions, and mail: There are no phones in the sleeping rooms, but there are public telephones available in the main lodge and other locations for local and long distance calls. People can reach you by calling the Asilomar telephone number below and leaving a message for you at the front desk. There are no televisions in sleeping rooms. If you expect to receive mail during the conference, it should indicate your name, TARK, and the date of your arrival. Mail will be held at the front desk for pickup. Smoking and Pets: Smoking is not allowed in sleeping rooms. Please refrain from smoking in the meeting areas and in other rooms shared with non-smokers. Asilomar requests that you not bring pets. TARK Officers: Conference Chair: Rohit Parikh, City University (New York) Graduate Center, ripbc@cunyvm.bitnet Program Chair: Ronald Fagin, IBM Almaden Research Center, fagin@almaden.ibm.com Local Arrangements Chair: Daphne Koller, University of California at Berkeley, daphne@cs.berkeley.edu Publicity Chair: Adam J. Grove, NEC Research Institute, grove@research.nj.nec.com Additional Information. Additional questions should be directed to: Betty Forbes or Pat Kauffman Asilomar Conference Center P.O. Box 537 800 Asilomar Blvd. Pacific Grove, CA 93950 phone: (408) 372-8016 (Tentative) TARK V Program -------------------------- March 13-16, 1994 Sunday March 13 6:00 Dinner 8:00 Reception Monday March 14 9:00 Invited Talk: Knowledge, Action, and Ability Hector J. Levesque 10:00 Coffee Break 10:30 On Preserving Conditional Beliefs during Belief Revision Adnan Darwiche and Judea Pearl 11:00 Game Theory and Default Logic Gian Aldo Antonelli and Cristina Bicchieri 11:30 A Knowledge-Based Framework for Belief Change Part I: Foundations Nir Friedman and Joseph Y. Halpern 12:00 Lunch 2:30 Information Acquisition from Multi-agent Resources Zhisheng Huang and Peter van Emde Boas 3:00 Consistent Belief Reasoning in the Presence of Inconsistency Jinxin (Jason) Lin 3:30 Coffee Break 4:00 Infinitary Epistemic Logic Aviad Heifetz 4:30 An Epistemic Logic of Situations Paul F. Syverson 5:00 Actual Truth, Possible Knowledge Wlodek Rabinowicz and Krister Segerberg 5:30 Infinitely Many Resolutions of Hempel's Paradox Kevin B. Korb 6:00 Dinner 8:00 Rump session Tuesday March 15 9:00 Invited talk: Knowledge, Rationality and Evolution in Simple Games Ken Binmore 10:00 Coffee Break 10:30 Revising Knowledge: a Hierarchical Approach Stephen Morris 11:00 Case-Based Decision Theory and Knowledge Representation Itzhak Gilboa and David Schmeidler 11:30 An Axiomatic Approach to the Logical Omniscience Problem Barton L. Lipman 12:00 Lunch 2:30 Autoepistemic Logic and Introspective Circumscription Michael Gelfond, Vladimir Lifschitz, Halina Przymusinska, and Grigori Schwarz 3:00 Knowledge as a Tool in Motion Planning Under Uncertainty Ronen I. Brafman, Jean-Claude Latombe, Yoram Moses, and Yoav Shoham 3:30 Coffee Break 4:00 Common Knowledge and Update in Finite Environments I Ron van der Meyden 4:30 An Epistemic Proof System for Parallel Processes M. van Hulst and J.-J.Ch. Meyer 5:00 Algorithmic Knowledge Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi 5:30 Knowledge and the Ordering of Events in Distributed Systems Paul J. Krasucki and R. Ramanujam 6:00 Dinner 8:00 Business meeting and rump session Wednesday March 16 9:00 Inductive Learning, Knowledge Asymmetries and Convention Peter Vanderschraaf 9:30 Coherent Belief Revision in Games Debra J. Holt 10:00 Belief Revision in a Changing World Robert Koons and Nicholas Asher 10:30 Coffee Break 11:00 Rump Session