| Evolving Efficient Deep Neural Networks for Real-time Object Recognition G Lan, L de Vries, S Wang 2019 IEEE Symposium Series on Computational Intelligence, 2019 | 17 | 2019 |
| SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs S Wang, P Bloem, J Raad, F van Harmelen Workshop on Large Scale RDF Analytics (LASCAR), 2020 | 3 | 2020 |
| A multimodal chatbot system for enhancing social skills training for security guards S Bever, D Formolo, S Wang, T Bosse International Conference on Human-Computer Interaction, 499-513, 2019 | 3 | 2019 |
| Towards Dynamic Epistemic Learning of Actions in Autonomic Multi-agent Systems S Wang, K Hu IEEE International Conference on Autonomic Computing, 2016 | 3 | 2016 |
| Towards Dynamic Epistemic Learning of Actions for Self-improving Agents and Multi-agent Systems S Wang Workshop on Self-Improving System Integration (SISSY), 2016 | 3 | 2016 |
| Refining Transitive and Pseudo-Transitive Relations at Web Scale S Wang, J Raad, P Bloem, F Van Harmelen European Semantic Web Conference (ESWC), 249-264, 2021 | 1 | 2021 |
| On the Analysis of Large Integrated Knowledge Graphs for Economics, Banking, and Finance S Wang International Workshop on Knowledge Graphs for Economics and Finance, 2022 | | 2022 |
| Refining Large Integrated Identity Graphs using the Unique Name Assumption S Wang, J Raad, P Bloem, F van Harmelen | | 2021 |
| Turing Learning with Nash Memory S Wang University of Amsterdam, 2017 | | 2017 |
| Robot Ethical Training with Dynamic Ethical Preference Logic S Wang International Conference on Climbing and Walking Robots and Support …, 2016 | | 2016 |
| Reasoner-Aid Research: Potentials and Popularity S Wang BNAIC2016, 2016 | | 2016 |
| Multi-agent Multi-contact Path Planning with HPP S Wang, S Tonneau, N Mansard BNAIC2016, 2016 | | 2016 |
| ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic S Wang International Workshop on User Interfaces for Theorem Provers, 2016 | | 2016 |
| A Quantitative Analysis of Kernel Extension for Higher Order Proof Checking S Wang ESSLLI 2016 Student Session, 2016 | | 2016 |
| Proof Engineering of Higher Order Logic: Collaboration, Transformation, Checking and Retrieval S Wang Conference on Artificial Intelligence and Theorem Proving, 2016 | | 2016 |
| Reverse Engineering of HOL Proofs S Wang Internship Report - INRIA, 2015 | | 2015 |
Gongjin LanSouthern University of Science and Technology / VU University AmsterdamVerified email at sustech.edu.cn
