Principles of knowledge representation and reasoning proceedings of the fourth international conference (KR'94) ; Bonn, Germany, May 24 - 27, 1994 (Kaufmann, 1994)