TY - BOOK AU - Parikh,Rohit TI - Theoretical aspects of reasoning about knowledge: proceedings of the third conference (TARK 1990) March 4-7, 1990 Pacific GroveCalifornia SN - 1558801058 PY - 1990/// CY - San Mateo, CA PB - Morgan Kaufmann Pub. KW - Artificial intelligence KW - Congresses KW - Knowledge, Theory of KW - Logic, Symbolic and mathematical ER -