The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions

Author: Eiter T.   Gottlob G.  

Publisher: Academic Press

ISSN: 0022-0000

Source: Journal of Computer and System Sciences, Vol.53, Iss.3, 1996-12, pp. : 497-512

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract