Principles of knowledge representation and reasoning : proceedings of the third international conference (KR '92) - Rich, Charles, 1951-; Swartout, William R.; Nebel, Bernhard, 1956- (The Morgan Kaufmann series in representation and reasoning,, 1992)