Theoretical aspects of reasoning about knowledge : proceedings of the third conference (TARK 1990) March 4-7, 1990 Pacific GroveCalifornia - Parikh, Rohit, 1936 (San Mateo, CA : Morgan Kaufmann Pub., 1990)
Keywords: Artificial intelligence -- Congresses; Knowledge, Theory of -- Congresses; Logic, Symbolic and mathematical -- Congresses