Theoretical aspects of reasoning about knowledge
Subtitle: proceedings of the third conference (TARK 1990) March 4-7, 1990, Pacific Grove, California
By: edited by Rohit Parikh ; sponsored by IBM Research, Almaden Research Center and supported by the American Association for Artificial Intelligence and the AirForce Office of Scientific Research.
Contributors: Parikh, Rohit.; Almaden Research Center (IBM Research)
Publisher: Morgan Kaufmann
Published: 1990
Place of publication: San Mateo, Calif
Language: eng
Subjects: Artificial intelligence -- Congresses.; Knowledge, Theory of -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge.

Includes bibliographical references.