Title: Logics in Ai: European Workshop Jelia '92, Berlin, Germany, September 7-10, 1992