共 50 条
- [3] Reasoning about molecular similarity and properties [J]. 2004 IEEE COMPUTATIONAL SYSTEMS BIOINFORMATICS CONFERENCE, PROCEEDINGS, 2004, : 266 - 277
- [4] Representing and Reasoning about Program in Situation Calculus [J]. FOURTH INTERNATIONAL CONFERENCE ON MACHINE VISION (ICMV 2011): COMPUTER VISION AND IMAGE ANALYSIS: PATTERN RECOGNITION AND BASIC TECHNOLOGIES, 2012, 8350
- [5] A tableau algorithm for reasoning about concepts and similarity [J]. AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, PROCEEDINGS, 2003, 2796 : 134 - 149
- [7] Reasoning About Threats: From Observables to Situation Assessment [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2011, 41 (05): : 608 - 616
- [8] Imprecise Analogical and Similarity Reasoning about Contextual Information [J]. INTELLIGENT TECHNIQUES AND TOOLS FOR NOVEL SYSTEM ARCHITECTURES, 2008, 109 : 99 - 119
- [9] Reasoning about Imperfect Information Games in the Epistemic Situation Calculus [J]. PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 255 - 260
- [10] GraphScape: A Model for Automated Reasoning about Visualization Similarity and Sequencing [J]. PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), 2017, : 2628 - 2638