Skip to main content

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Thomas Eiter and Georg Gottlob

Journal
J. Comput. Syst. Sci.
Number
3
Pages
497−512
Volume
53
Year
1996