TY  - BOOK
AU  - Halpern, Joseph Y.
AU  - Halpern,Joseph Y
TI  - Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California 
SN  - 0934613044 (PB)
PY  - 1986///
CY  - Los Altos, California 
PB  - Morgan. Kaufmann Publishers
KW  - Artificial intelligence
KW  - Theory of Knowledge
KW  - Logic, Symbolic and mathematical
KW  - Reasoning
N1  - Cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery; Includes bibliographies and index
ER  -