On perfect introspection with quantifying-in: extended abstract
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Avoiding logical omniscience and perfect reasoning: a survey
AI Communications
Hi-index | 0.00 |