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.

Authors

Thomas Eiter

This author has not been identified. Look up 'Thomas Eiter' in Google

Georg Gottlob

This author has not been identified. Look up 'Georg Gottlob' in Google