Theoretical aspects of reasoning about knowledge : proceedings of the Eighth conference (TARK 2001), July 8-10, 2001, San Francisco, California - Benthem, Johan Van; Conference on the Theoretical Aspects of Reasoning about Knowledge 2001 : San Francisco, Calif.) (San Francisco, Calif. : Morgan Kaufmann, 2001)
Selected papers presented to the 8rd Conference on the Theoretical Aspects of Reasoning about Knowledge.
Includes bibliographical references and index.
Keywords: Artificial intelligence -- Congresses; Knowledge, Theory of -- Congresses; Logic, Symbolic and mathematical -- Congresses