共 50 条
- [1] Towards A Meta-reasoning Framework for Reasoning about Vagueness in OWL Ontologies [J]. 2016 IEEE TENTH INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC), 2016, : 221 - 228
- [3] Reasoning about probabilistic sequential programs in a probabilistic logic [J]. Acta Informatica, 2003, 39 : 315 - 389
- [4] Reasoning algebraically about probabilistic loops [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 380 - +
- [5] Reasoning about Actions in a Probabilistic Setting [J]. EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 507 - 512
- [6] REASONING ABOUT PROBABILISTIC PARALLEL PROGRAMS [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 798 - 842
- [7] Reasoning about Recursive Probabilistic Programs [J]. PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 672 - 681
- [9] Reasoning about "Reasoning about Reasoning" Semantics and Contextual Equivalence for Probabilistic Programs with Nested Queries and Recursion [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):