共 50 条
- [35] Thinking about reasoning about knowledge Kluwer Academic Publishers, Dordrecht, Netherlands (07):
- [37] Reasoning about "Reasoning about Reasoning" Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):