Proceedings of the second conference on theoretical aspects of reasoning about knowledge - Conference on Theoretical Aspects of Reasoning about Knowledge (7-9 Mar 1988: Pacific Grove, California); Vardi, Moshe Y. (California : Morgan Kaufmann Publishers, 1988)
Keywords: Artificial intelligence -- Congresses; Theory of Knowledge -- Congresses; Symbolic and Mathematical Logic -- Congresses