共 50 条
- [41] Formal Framework for Reasoning About the Precision of Dynamic Analysis [J]. STATIC ANALYSIS (SAS 2020), 2020, 12389 : 178 - 199
- [42] A Framework for Reasoning about Dynamic Axioms in Description Logics [J]. PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1681 - 1687
- [43] PROCESSING OF INFORMATION ABOUT LOCATION IN BRIEF VISUAL-DISPLAYS [J]. PERCEPTION & PSYCHOPHYSICS, 1975, 18 (05): : 309 - 316
- [45] DRIB: Interpreting DNN with Dynamic Reasoning and Information Bottleneck [J]. DATA SCIENCE (ICPCSEE 2022), PT I, 2022, 1628 : 178 - 189
- [48] Reasoning about web information systems using story algebras [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 54 - 66
- [49] The role of part—whole information in reasoning about relative size [J]. Memory & Cognition, 2000, 28 : 585 - 596