Interleaving Belief Updating and Reasoning in Abductive Logic Programming.

Fariba Sadri Francesca Toni Interleaving Belief Updating and Reasoning in Abductive Logic Programming. 442-446 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#SadriT06