A tractable knowledge representation service with full introspection Export

@inproceedings{lakemeyer88introspection, address = {San Francisco, CA, USA}, author = {Lakemeyer, Gerhard and Levesque, Hector J.}, booktitle = {TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge}, citeulike-article-id = {611017}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=1029730}, citeulike-linkout-1 = {http://www.tark.org/proceedings/tark_mar7_88/p145-lakemeyer.pdf}, isbn = {0934613669}, keywords = {ai, implicit\_belief, incomplete\_knowledge, logic}, pages = {145--159}, posted-at = {2006-05-02 00:04:05}, priority = {0}, publisher = {Morgan Kaufmann Publishers Inc.}, title = {A tractable knowledge representation service with full introspection}, url = {http://portal.acm.org/citation.cfm?id=1029730}, year = {1988} }

TY - CONF ID - lakemeyer88introspection L3 - citeulike-article-id:611017 SN - 0934613669 AD - San Francisco, CA, USA EP - 159 TI - A tractable knowledge representation service with full introspection PB - Morgan Kaufmann Publishers Inc. T2 - TARK '88: Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge SP - 145 KW - ai KW - implicit_belief KW - incomplete_knowledge KW - logic AU - Lakemeyer, Gerhard AU - Levesque, Hector PY - 1988/// UR - http://portal.acm.org/citation.cfm?id=1029730 ER -