Principles Of Knowledge Representation And Reasoning. Proceedings Of The Fourth International Conference (Kr \'94)