LPAR'2001: 8th International Conference on Logic for Programming, AI and Reasoning