共 50 条
- [31] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 33 - 60
- [32] Unifying logical and probabilistic reasoning SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 788 - 799
- [34] Reconstruction of Probabilistic Logical Networks 2018 37TH CHINESE CONTROL CONFERENCE (CCC), 2018, : 1988 - 1992
- [36] Probabilistic Logical Inference on the Web AI*IA 2016: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2016, 10037 : 351 - 363