Show simple item record

dc.contributor.authorRaphael, Bertramen_US
dc.date.accessioned2004-10-04T14:37:32Z
dc.date.available2004-10-04T14:37:32Z
dc.date.issued1961-11-01en_US
dc.identifier.otherAIM-029en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6071
dc.description.abstractThis paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the system of a well-known reasoning problem is presented.en_US
dc.format.extent11 p.en_US
dc.format.extent1676818 bytes
dc.format.extent1319757 bytes
dc.format.mimetypeapplication/postscript
dc.format.mimetypeapplication/pdf
dc.language.isoen_US
dc.relation.ispartofseriesAIM-029en_US
dc.titleIntroduction to the Calculus of Knowledgeen_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record