The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Thomas Eiter, Georg Gottlob. The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. In IJCAI. pages 526-533, 1993.

Abstract

Abstract is missing.