Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This volume consists of nineteen papers together with a few invited papers intended to provide an overview of the state of the art of the field of reasoning about knowledge to be a useful volume of extremely high-quality papers.
Abstract
Work on reasoning about knowledge has been carried out by researchers in a number of different fieIds: philosophy, linguistics, artificial intelligence, economics, and theoretical computer science, among others. This conference represents the first attempt to bring together researchers from all these areas to discuss issues of mutual interest. In order to maintain a small workshop-like atmosphere, we decided to hold the conference at the Asilomar Conference Center in Monterey, California, and limit the number of attendees to a few invited people and authors of accepted papers. Interest in the conference far exceeded all my expectations. I was deluged by requests for further information from all parts of the world. Ninety-eight papers were submitted in response to a call for papers. The program committee members - Michael Fischer, Joe Halpern, Hector Levesque, Robert Moore, Rohit Parikh, Robert Stalnaker, Richmond Thomason, and Moshe Vardi - considered all the papers carefully. At least three and usually four members of the committee read each one. In the end only nineteen of these papers were selected. There were two reasons for choosing so few. One, of course, was to make sure that only papers of the highest quality appeared. But, just as important, we wanted to make sure that the available time at the conference was not completely taken up by presentations; we hoped to allow participants at the conference plenty of time to exchange ideas. This volume consists of those nineteen papers together with a few invited papers intended to provide an overview of the state of the art of the field. None of the final submissions was formally refereed, and many of them represent preliminary reports on continuing research. It is anticipated that most of these papers will appear, in more polished and complete form, in scientific journals. Nevertheless, I believe that anyone interested in the field of reasoning about knowledge will find this to be a useful volume of extremely high-quality papers.