Nonmonotonic reasoning - Antoniou, G. (Grigoris) (Artificial intelligence (Cambridge, Mass.), 1997)