Theoretical aspects of reasoning about knowledge
Subtitle: proceedings of the fifth conference (TARK 1994) : March 13-16, 1994, Pacific Grove, California
By: edited by Ronald Fagin.
Contributors: Fagin, Ronald.; Conference on Theoretical Aspects of Reasoning about Knowledge (5th : 1994 : Pacific Grove, Calif.)
Publisher: Morgan Kaufmann
Published: 1994
Place of publication: San Francisco, CA
Language: eng
Number of pages: 340
Subjects: Knowledge, Theory of -- Congresses.; Artificial intelligence -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Reasoning about knowledge.
Description: 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.
Notes: Includes bibliographical references and index.