The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Eiter, T, Gottlob, G
Ձևաչափ: Conference item
Հրապարակվել է: 1993