The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Podrobná bibliografie
Hlavní autoři: Eiter, T, Gottlob, G
Médium: Conference item
Vydáno: 1993