6th International Conference on Logic Programming and Nonmonotonic Reasoning LPNMR'01