Characterization Theorems for Revision of Logic Programs.

Nicolas Schwind, Katsumi Inoue

Browse the full LPNMR paper archive.