Logics in artificial intelligence European Workshop JELIA '94, York, UK, September 5-8, 1994 : proceedings (Springer-Verlag, 1994)