International Conference on Logic Programming and Non-Monotonic Reasoning (4th 1997 Dagstuhl, Germany)