The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.

Thomas Eiter, Georg Gottlob

Browse the full IJCAI paper archive.