Shuai Wang
Title
Cited by
Cited by
Year
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
32019
Towards Dynamic Epistemic Learning of Actions for Self-improving Agents and Multi-agent Systems
S Wang
Workshop on Self-Improving System Integration (SISSY), 2016
32016
Towards Dynamic Epistemic Learning of Actions in Autonomic Multi-agent Systems
S Wang, K Hu
IEEE International Conference on Autonomic Computing, 2016
22016
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
12019
Dynamic epistemic model checking with Yices
S Wang
12017
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
The system can't perform the operation now. Try again later.
Articles 1–14