Ahmed Guessoum Abductive Knowledge Base Updates for Contextual Reasoning. 41-67 1998 11 J. Intell. Inf. Syst. 1 db/journals/jiis/jiis11.html#Guessoum98