The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Bibliographic Details
Main Authors: Eiter, T, Gottlob, G
Format: Conference item
Published: 1993