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, 1936-; Almaden Research Center (IBM Research); Conference on the Theoretical Aspects of Reasoning about Knowledge (3rd : 1990 : Pacific Grove, Calif.)
Series: The Morgan Kaufmann series in representation and reasoning
Publisher: Morgan Kaufmann
Published: 1990
Place of publication: San Mateo, Calif
Language: eng
Number of pages: 305
Subjects: Artificial intelligence -- Congresses.; Knowledge, Theory of -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Other titles: Reasoning about knowledge.
Notes: Includes bibliographical references and index.
Selected papers presented to the 3rd Conference on the Theoretical Aspects of Reasoning about Knowledge.