1 paper
Chiaki Sakama, Katsumi Inoue
This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive prog…