This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intel...