-J. Dix et al. (Eds.): Logic Programming and Knowledge Representation. Proceedings 1997, Springer-Verlag 1998 (Subseries LNAI)