Logics in Ai: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992 : Proceedings (Lecture Notes in Computer Science 633)