Non-monotonic extensions of logic programming : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers - International Conference on Logic Programming 1994 : Santa Margherita Ligure, Italy); Dix, J. (Jürgen), 1961-; Pereira, Luís Moniz; Przymusinski, Teodor C., 1947- (Berlin ; New York : Springer, 1995)
Includes bibliographical references.
Keywords: Logic programming; Nonmonotonic reasoning