Logical omniscience as a computational complexity problem
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Hi-index | 0.00 |