Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning by Hector J. Levesque, International Conference on Principles of Knowledge Representation and Reasoning (1st 1989 Toronto, Ont.), Ronald J. Brachman, Canadian Society for Computational Studies of Intelligence, Raymond Reiter, International Conference on Principles of Knowledge Representation and | Lex | Lex