An epistemic proof system for parallel processes: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Dynamics of Approximate Information Fusion
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Refinement Quantified Logics of Knowledge
Electronic Notes in Theoretical Computer Science (ENTCS)
Interest logic and its application on the web
KSEM'11 Proceedings of the 5th international conference on Knowledge Science, Engineering and Management
| Hi-index | 0.00 |