Characterization of Logic Program Revision as an Extension of Propositional Revision

Open in new window