Abductive logic programming has been widely used to declaratively specify a variety of problems in AI including updates in data and knowledge bases, belief revision, diagnosis, causal theory, and default reasoning. One of the most signi cant issues in abductive logic programming is to develop a reasonable method for knowledge assimilation, which incorporates obtained explanations into the curre...