The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Bibliografske podrobnosti
Main Authors: Eiter, T, Gottlob, G
Format: Conference item
Izdano: 1993