| 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 | 3 | 2019 |
| 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 |
| Towards Dynamic Epistemic Learning of Actions in Autonomic Multi-agent Systems S Wang, K Hu IEEE International Conference on Autonomic Computing, 2016 | 2 | 2016 |
| A multimodal chatbot system for enhancing social skills training for security guards S de Bever, D Formolo, S Wang, T Bosse International Conference on Human-Computer Interaction, 499-513, 2019 | 1 | 2019 |
| Dynamic epistemic model checking with Yices S Wang | 1 | 2017 |
| 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 | | 2020 |
| 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 LanVU University AmsterdamVerified email at vu.nl
