Conference on Theoretical Aspects of Reasoning about Knowledge (3 : 1990 : Pacific Grove, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Pacific Grove, Calif.