Logic programming and nonmonotonic reasoning : 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings - Truszczyński, Mirosław, 1955-; Eiter, Thomas, 1966-; Faber, Wolfgang, 1974- (Lecture notes in computer science, 2001)