Reasoning about knowledge and probability
Journal of the ACM (JACM)
Reasoning about knowledge and probability
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Probabilistic Logic over Paths
Electronic Notes in Theoretical Computer Science (ENTCS)
A complete probabilistic belief logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
A branching time logic with two types of probability operators
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |