Theoretical Aspects of Reasoning About Knowledge: TARK Proceedings 1990

Selected papers presented to the 3rd conference (TARK 1990) Pacific Grove, Calif., March 1990. The 19 papers represent current research from computer science, artificial intelligence, economics, linguistics and philosophy. Four tutorials and an invited talk provide background and points of connecti