An abductive framework for computing knowledge base updates.

Chiaki Sakama Katsumi Inoue An abductive framework for computing knowledge base updates. 671-713 2003 3 TPLP 6 db/journals/tplp/tplp3.html#SakamaI03 http://dx.doi.org/10.1017/S1471068403001716