Logic programming and nonmonotonic reasoning proceedings (Springer Verlag, 1995)