On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.

Thomas Eiter, Georg Gottlob

Browse the full PODS paper archive.