My Account Log in

1 option

Theoretical aspects of reasoning about knowledge. proceedings of the 1986 conference, March 19-22, 1986, Monterey, California / 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.

Online resource Available online

View online
Format:
Book
Contributor:
Halpern, Joseph Y., 1953-
ACM Digital Library.
International Business Machines Corporation
American Association for Artificial Intelligence
United States. Office of Naval Research
Association for Computing Machinery
Series:
ACM Digital Library (Series)
Language:
English
Subjects (All):
Artificial intelligence--Congresses.
Artificial intelligence.
Knowledge, Theory of--Congresses.
Knowledge, Theory of.
Logic, Symbolic and mathematical--Congresses.
Logic, Symbolic and mathematical.
Reasoning--Congresses.
Reasoning.
Genre:
Conference papers and proceedings.
Physical Description:
vii, 407 pages
Other Title:
Also known as: TARK '86
Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge.
Place of Publication:
Los Altos, Calif. : M. Kaufmann Publishers, [1986]
System Details:
Mode of access: World Wide Web.
text file
Notes:
Includes bibliographies and index.
ISBN:
0934613044
9780934613040
OCLC:
13184640
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account