Non-monotonic extensions of logic programming ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 ; selected papers (Springer, 1995)