Theoretical aspects of reasoning about knowledge
Subtitle: proceedings of the 1986 conference, March 19-22, 1986, Monterey, California
By: edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery.
Contributors: Halpern, Joseph Y., 1953-; International Business Machines Corporation.; American Association of Artificial Intelligence.; United States. Office of Naval Research.; Association for Computing Machinery.
Publisher: M. Kaufmann Publishers
Published: 1986
Place of publication: Los Altos, Calif
Language: eng
Number of pages: 407
Subjects: Artificial intelligence -- Congresses.; Knowledge, Theory of -- Congresses.; Logic, Symbolic and mathematical -- Congresses.; Reasoning -- Congresses.
Notes: Includes bibliographies and index.