Theoretical Aspects of Reasoning About Knowledge

the long version

Interest in the area of Theoretical Aspects of Reasoning About Knowledge has increased significantly since the first conference was held in 1986 in the Asilomar Conference Center in Pacific Grove, California. Since then, the conference has become a regular biennial event. The results of scientists in the field of reasoning about knowledge have contributed to research in a variety of areas including artificial intelligence, economics, linguistics, philosophy and theoretical computer science. This volume chronicles the fifth conference, held in 1994, which included presentations by an interdisciplinary collection of leading researchers in the field. The 23 extended abstracts published here include 21 contributed papers and 2 invited papers, and represent state-of-the-art research. This volume is a valuable reference to the active interdisciplinary field of reasoning about knowledge, suitable for researchers, students and teachers.