KR2000: proceedings of the seventh international conference on principles of knowledge representation and reasoning