Updating Extended Logic Programs through Abduction.

Chiaki Sakama, Katsumi Inoue

Browse the full LPNMR paper archive.