Logic programming and nonmonotonic reasoning 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28 - 31, 1997 ; proceedings (Springer, 1997)